15 results
Type of media (2)
Availability (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
15 results

Your search for Matthias Baaz

  1. Cover: Logic Colloquium '01 - Cambridge University Press
    Matthias Baaz | Sy-David Friedman | Jan Krajicek
    Logic Colloquium '01
    04/2020
    Cambridge University Press
    9781108695442 (ISBN)
    E-Book
    PDF
    €133.99
    Available for download
  2. Cover: Kurt Goedel and the Foundations of Mathematics - Cambridge University Press
    Matthias Baaz | Christos H. Papadimitriou | Hilary W. Putnam
    Kurt Goedel and the Foundations of Mathematics
    Horizons of Truth
    06/2011
    1st EDN1st Edition
    Cambridge University Press
    9781139064767 (ISBN)
    E-Book
    PDF
    Other editions
    €58.99
    Available for download
  3. Cover: Kurt Godel and the Foundations of Mathematics - Cambridge University Press
    Matthias Baaz
    Kurt Godel and the Foundations of Mathematics
    Horizons of Truth
    06/2011
    Cambridge University Press
    9781139062916 (ISBN)
    E-Book
    ePUB
    Other editions
    €50.49
    Available for download
  4. Cover: Methods of Cut-Elimination - Springer
    Matthias Baaz | Alexander Leitsch
    Methods of Cut-Elimination
    01/2011
    1st EDN1st Edition
    Springer
    9789400703209 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  5. Cover: Computer Science Logic - Springer
    Matthias Baaz | Johann M. Makowsky
    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
    12/2003
    Springer
    9783540452201 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  6. Cover: Kurt Goedel and the Foundations of Mathematics - Cambridge University Press
    Matthias Baaz | Christos H. Papadimitriou | Hilary W. Putnam
    Kurt Goedel and the Foundations of Mathematics
    Horizons of Truth
    03/2014
    Cambridge University Press
    9781107677999 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €86.80
    Shipment within 15-20 days
  7. Cover: Kurt Goedel and the Foundations of Mathematics - Cambridge University Press
    Matthias Baaz | Christos H. Papadimitriou | Hilary W. Putnam
    Kurt Goedel and the Foundations of Mathematics
    Horizons of Truth
    06/2011
    Cambridge University Press
    9780521761444 (ISBN)
    Book
    Hardback
    Other editions
    €171.40
    Shipment within 15-20 days
  8. Cover: Computer Science Logic - Springer
    Matthias Baaz | Johann M. Makowsky
    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
    08/2003
    1st EDN1st Edition
    Springer
    9783540408017 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  9. Cover: Logic for Programming, Artificial Intelligence, and Reasoning - Springer
    Matthias Baaz | Andrei Voronkov
    Logic for Programming, Artificial Intelligence, and Reasoning
    9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
    10/2002
    Springer
    9783540000105 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Methods of Cut-Elimination - Springer
    Matthias Baaz | Alexander Leitsch
    Methods of Cut-Elimination
    02/2013
    Springer
    9789400734975 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  11. Cover: Logic for Programming, Artificial Intelligence, and Reasoning - Springer
    Matthias Baaz | Andrei Voronkov
    Logic for Programming, Artificial Intelligence, and Reasoning
    01/2014
    Springer
    9783662178072 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  12. Cover: Methods of Cut-Elimination - Springer
    Matthias Baaz | Alexander Leitsch
    Methods of Cut-Elimination
    01/2011
    Springer
    9789400703193 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days
  13. Cover: Logic Colloquium '01 - A K Peters
    Matthias Baaz | Sy-David Friedman | Jan Krajicek
    Logic Colloquium '01
    Lecture Notes In Logic, 20
    03/2005
    1st EDN1st Edition
    A K Peters
    9781568812472 (ISBN)
    Book
    Hardback
    Other editions
    €88.08
    Shipment within 3-4 weeks
  14. Cover: Logic Colloquium '01 - A K Peters
    Matthias Baaz | Sy-David Friedman | Jan Krajicek
    Logic Colloquium '01
    Lecture Notes In Logic, 20
    03/2005
    1st EDN1st Edition
    A K Peters
    9781568812489 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €59.60
    Shipment within 3-4 weeks
  15. Cover: Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic - College Publications
    Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic
    01/2018
    College Publications
    9781848902688 (ISBN)
    Book
    Paperback/Softback
    €28.30
    Shipment within 10-20 days