Buchportal für Bücher die eine ISBN tragen.

Reihe Applied Logic Series

Buchcover Formal Aspects of Context

Formal Aspects of Context

Springer Netherland

Buchcover New Essays in Free Logic

New Essays in Free Logic

In Honour of Karel Lambert

Springer Netherland

Buchcover Advances in Temporal Logic

Advances in Temporal Logic

Springer Netherland

Buchcover Fallacies Arising from Ambiguity

Fallacies Arising from Ambiguity

Springer Netherland

Buchcover Advances in Intensional Logic

Advances in Intensional Logic

Springer Netherland

Buchcover Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

Springer Netherland

Buchcover A Textbook of Belief Dynamics

A Textbook of Belief Dynamics

Theory Change and Database Updating

Sven Ove Hansson

Springer Netherland

Buchcover Automated Model Building

Automated Model Building

Ricardo Caferra

Springer Netherland

Buchcover Goal-Directed Proof Theory

Goal-Directed Proof Theory

Springer Netherland

Buchcover The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

Springer Netherland

74 Treffer 1 2 3 4 5 6 ...