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

AvMatthias Baaz,Christos H. Papadimitriou,Hilary W. Putnam,Dana S. Scott,Charles L. Harper, Jr,Austria) Baaz, Matthias (Technische Universitat Wien,Berkeley) Papadimitriou, Christos H. (University of California,Massachusetts) Putnam, Hilary W. (Harvard University,Pennsylvania) Scott, Dana S. (Carnegie Mellon University

Inbunden, Engelska, 2011

1 959 kr

Skickas inom 7-10 vardagar

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

AvMatthias Baaz,Christos H. Papadimitriou,Hilary W. Putnam,Dana S. Scott,Charles L. Harper, Jr,Austria) Baaz, Matthias (Technische Universitat Wien,Berkeley) Papadimitriou, Christos H. (University of California,Massachusetts) Putnam, Hilary W. (Harvard University,Pennsylvania) Scott, Dana S. (Carnegie Mellon University

Häftad, Engelska, 2014

989 kr

Skickas inom 7-10 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedman,Jan Krajícek,Jan Krajicek

Inbunden, Engelska, 2005

969 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedman,Jan Krajícek,Jan Krajicek

Häftad, Engelska, 2005

569 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

AvMatthias Baaz,Andrei Voronkov

Häftad, Engelska, 2002

709 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

AvMatthias Baaz,Johann M. Makowsky

Häftad, Engelska, 2003

1 369 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Inbunden, Engelska, 2011

1 369 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Häftad, Engelska, 2013

1 369 kr

Skickas inom 10-15 vardagar