Hoppa till sidans huvudinnehåll

Matthias Baaz - Böcker

Visar alla böcker från författaren Matthias Baaz.
8 produkter

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

Av Matthias Baaz, Christos H. Papadimitriou m. fl

Inbunden, Engelska, 2011

2 019 kr

Skickas inom 10-15 vardagar

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

Av Matthias Baaz, Christos H. Papadimitriou m. fl

Häftad, Engelska, 2014

1 019 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

Av Matthias Baaz, Sy-David Friedman m. fl

Inbunden, Engelska, 2005

939 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

Av Matthias Baaz, Sy-David Friedman m. fl

Häftad, Engelska, 2005

549 kr

Skickas inom 10-15 vardagar

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Av Matthias Baaz, Andrei Voronkov

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Av Matthias Baaz, Johann M. Makowsky

Häftad, Engelska, 2003

1 419 kr

Skickas inom 10-15 vardagar
Del 34 - Trends in Logic

Methods of Cut-Elimination

Av Matthias Baaz, Alexander Leitsch

Inbunden, Engelska, 2011

1 419 kr

Skickas inom 10-15 vardagar
Del 34 - Trends in Logic

Methods of Cut-Elimination

Av Matthias Baaz, Alexander Leitsch

Häftad, Engelska, 2013

1 419 kr

Skickas inom 10-15 vardagar