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

Reihe Applied Logic Series

Buchcover Advances in Temporal Logic

Advances in Temporal Logic

Springer Netherland

Buchcover Automated Model Building

Automated Model Building

Ricardo Caferra

Springer Netherland

Buchcover The Death of Argument

The Death of Argument

Fallacies in Agent Based Reasoning

Springer Netherland

Buchcover Frontiers of Combining Systems

Frontiers of Combining Systems

First International Workshop, Munich, March 1996

Springer Netherland

Buchcover Proof Theory of Modal Logic

Proof Theory of Modal Logic

Springer Netherland

Buchcover Advances in Intensional Logic

Advances in Intensional Logic

Springer Netherland

Buchcover What is Negation?

What is Negation?

Springer Netherland

Buchcover Intellectics and Computational Logic

Intellectics and Computational Logic

Papers in Honor of Wolfgang Bibel

Springer Netherland

Buchcover Abduction and Induction

Abduction and Induction

Essays on their Relation and Integration

Springer Netherland

Buchcover An Introduction to Mathematical Logic and Type Theory

An Introduction to Mathematical Logic and Type Theory

To Truth Through Proof

Peter B. Andrews

Springer Netherland

35 Treffer 1 2 3 4