Hoppa till sidans huvudinnehåll

Matthias Baaz – författare

Visar alla böcker från författaren Matthias Baaz. Handla med fri frakt och snabb leverans.
8 produkter

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

AvMatthias Baaz,Christos H. Papadimitrioum. fl.

Inbunden, Engelska, 2011

2 119 kr

Skickas inom 7-10 vardagar

Kurt Gödel and the Foundations of Mathematics

Horizons of Truth

AvMatthias Baaz,Christos H. Papadimitrioum. fl.

Häftad, Engelska, 2014

1 069 kr

Skickas inom 7-10 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedmanm. fl.

Inbunden, Engelska, 2005

989 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

AvMatthias Baaz,Sy-David Friedmanm. fl.

Häftad, Engelska, 2005

579 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

719 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 389 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Inbunden, Engelska, 2011

1 389 kr

Skickas inom 10-15 vardagar

Methods of Cut-Elimination

AvMatthias Baaz,Alexander Leitsch

Häftad, Engelska, 2013

1 389 kr

Skickas inom 10-15 vardagar