|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the Eacsl, and 8th Kurt Gödel Colloquium, Kgc 2003, V 2003 Edition (Lecture Notes in Computer Science) | Baaz, Matthias | Paperback | 3540408010 /
9783540408017 | 08/2003 | $104.49 |
|  | Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic | Baaz, Matthias | Paperback | 1848902689 /
9781848902688 | 01/2018 | $24.23 |
|  | Kurt Godel and the Foundations of Mathematics: Horizons of Truth | Baaz, Matthias | Open Ebook | 1139077376 /
9781139077378 | / | $89.25 |
|  | Kurt Gödel and the Foundations of Mathematics: Horizons of Truth | Baaz, Matthias | Paperback | 1107677998 /
9781107677999 | 03/2014 | $76.00 |
|  | Kurt Gödel and the Foundations of Mathematics: Horizons of Truth | Baaz, Matthias | Hardcover | 0521761441 /
9780521761444 | 06/2011 | $152.00 |
|  | Kurt Gödel and the Foundations of Mathematics: Horizons of Truth | Baaz, Matthias | Open Ebook | 051197423X /
9780511974236 | 09/2011 | $191.25 |
|  | Logic Colloquium '01: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Vienna, Austria, Augu (Lecture Notes in Logic) | Baaz, Matthias | Hardcover | 1568812477 /
9781568812472 | 03/2005 | $63.60 |
|  | Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedi 2002 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Baaz, Matthias | Paperback | 3540000100 /
9783540000105 | 10/2002 | $52.24 |
|  | Methods of Cut-Elimination 2011 Edition (Trends in Logic) | Baaz, Matthias | Hardcover | 9400703198 /
9789400703193 | 01/2011 | $104.49 |
|  | Methods of Cut-Elimination 2011 Edition (Trends in Logic) | Baaz, Matthias | Paperback | 9400734972 /
9789400734975 | 02/2013 | $104.49 |
|
|
|