Hoppa till sidans huvudinnehåll

Matthias Baaz – författare

Visar alla böcker från författaren .
8 produkter
Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr - Kurt Gödel and the Foundations of Mathematics, Inbunden

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

AvMatthias Baaz,Christos H. Papadimitrioum. fl.

Inbunden, Engelska, 2011

2 169 kr

Skickas inom 7-10 vardagar

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr - Kurt Gödel and the Foundations of Mathematics, Häftad

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

AvMatthias Baaz,Christos H. Papadimitrioum. fl.

Häftad, Engelska, 2014

1 089 kr

Skickas inom 7-10 vardagar

Matthias Baaz, Sy-David Friedman, Jan Krajícek - Logic Colloquium '01, Inbunden

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedmanm. fl.

Inbunden, Engelska, 2005

1 239 kr

Skickas inom 10-15 vardagar

Matthias Baaz, Sy-David Friedman, Jan Krajícek - Logic Colloquium '01, Häftad

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedmanm. fl.

Häftad, Engelska, 2005

799 kr

Skickas inom 5-8 vardagar

Matthias Baaz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

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

AvMatthias Baaz,Andrei Voronkov

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Matthias Baaz, Johann M. Makowsky - Computer Science Logic, Häftad

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

AvMatthias Baaz,Johann M. Makowsky

Häftad, Engelska, 2003

1 399 kr

Skickas inom 10-15 vardagar

Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination, Inbunden

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Inbunden, Engelska, 2011

1 399 kr

Skickas inom 10-15 vardagar

Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination, Häftad
Del 34 - Trends in Logic

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Häftad, Engelska, 2013

1 399 kr

Skickas inom 10-15 vardagar