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 m. fl.

Inbunden, Engelska, 2011

1 999 kr

Skickas inom 10-15 vardagar

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

AvMatthias Baaz,Christos H. Papadimitriou m. fl.

Häftad, Engelska, 2014

1 009 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedman m. fl.

Inbunden, Engelska, 2005

969 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedman m. fl.

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