Here, what we could find on your book search:

Matthias Baaz

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Geoff Sutcliffe and Andrei Voronkov

Check Price (9 deals)
Die Fakultät für Mathematik und Geoinformation/The Faculty of Mathematics and Geoinformation

Die Fakultät für Mathematik und Geoinformation/The Faculty of Mathematics and Geoinformation

Michael Drmota, Josef Jansa and Reinhard Winkler

Check Price (5 deals)
Logic from Russell to Church

Logic from Russell to Church

Dov M. Gabbay and John Woods

Check Price (4 deals)
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Neil V. Murray

Check Price (1 deals)
Kurt Gödel and the Foundations of Mathematics

Kurt Gödel and the Foundations of Mathematics

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott and Charles L. Harper, Jr

Check Price (8 deals)
Automated Deduction - CADE-19

Automated Deduction - CADE-19

Franz Baader

Check Price (4 deals)
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Harrie de Swart

Check Price (7 deals)
Computer Science Logic

Computer Science Logic

Matthias Baaz and Johann M. Makowsky

Check Price (4 deals)
Gödel Centenary 2006

Gödel Centenary 2006

Check Price (8 deals)
Logic Colloquium '01

Logic Colloquium '01

Matthias Baaz, Sy-David Friedman and Jan Krajíček

Check Price (2 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now