Buy books written by MATTHIAS BAAZ Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
MATTHIAS BAAZ

MATTHIAS BAAZMatthias Baaz is currently University Professor and Head of the Group for Computational Logic at the Institute of Discrete Mathematics and Geometry at the Vienna University of Technology.

18 results found
List viewGrid view
Sort By:
1.
Methods of Cut-Elimination
Methods of Cut-Elimination
By: Alexander Leitsch, MATTHIAS BAAZ
Publisher: Springer
No Review Yet
AED462
Binding:
Hardback
Release:
17 Jan 2011
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Methods of Cut-Elimination
Methods of Cut-Elimination
By: Alexander Leitsch, MATTHIAS BAAZ
Publisher: Springer
No Review Yet
AED462
Binding:
Paperback
Release:
25 Feb 2013
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Logic Colloquium '01
Logic Colloquium '01
By: MATTHIAS BAAZ, Sy-David Friedman, Jan Krajícek
Publisher: Taylor & Francis Inc
No Review Yet
AED119
Binding:
Paperback
Release:
07 Mar 2005
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic
Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic
By: MATTHIAS BAAZ
Publisher: College Publications
No Review Yet
AED122
Binding:
Paperback
Release:
18 Jan 2018
Language:
English
International Edition
Ships within 18-20 Days Explain..
5.
Logic Colloquium '01
Logic Colloquium '01
By: MATTHIAS BAAZ, Sy-David Friedman, Jan Krajícek
Publisher: Taylor & Francis Inc
No Review Yet
AED309
Binding:
Hardback
Release:
07 Mar 2005
Language:
English
International Edition
Ships within 8-10 Days Explain..
6.
Computer Science Logic
Computer Science Logic
By: Johann M. Makowsky, MATTHIAS BAAZ
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED503
Binding:
Paperback
Release:
18 Aug 2003
Language:
English
International Edition
Ships within 18-20 Days Explain..
7.
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
By: Andrei Voronkov, MATTHIAS BAAZ
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED275
Binding:
Paperback
Release:
02 Oct 2002
Language:
English
International Edition
Ships within 18-20 Days Explain..
8.
Kurt Gödel and the Foundations of Mathematics
Kurt Gödel and the Foundations of Mathematics
By: Dana S. Scott, Hilary W. Putnam, Christos H. Papadimitriou, MATTHIAS BAAZ, Charles L. Harper, Jr
Publisher: Cambridge University Press
No Review Yet
AED352
Binding:
Paperback
Release:
27 Mar 2014
Language:
English
International Edition
Ships within 22-24 Days Explain..
9.
Kurt Gödel and the Foundations of Mathematics
Kurt Gödel and the Foundations of Mathematics
By: Dana S. Scott, Hilary W. Putnam, Christos H. Papadimitriou, MATTHIAS BAAZ, Charles L. Harper, Jr
Publisher: Cambridge University Press
No Review Yet
AED627
Binding:
Hardback
Release:
06 Jun 2011
Language:
English
International Edition
Ships within 22-24 Days Explain..
10.
Computer Science Logic
Computer Science Logic
By: MATTHIAS BAAZ
Publisher: Springer New York
No Review Yet
AED348
Binding:
Digital (delivered electronically)
Release:
01 Sep 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Logic Colloquium '01
Logic Colloquium '01
By: MATTHIAS BAAZ, Sy-David Friedman
Publisher: Cambridge University Press
No Review Yet
AED535
Binding:
Digital download and online
Release:
31 Mar 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Computer Science Logic
Computer Science Logic
By: MATTHIAS BAAZ, Johann M Makowsky
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
13.
Logic Colloquium '01
Logic Colloquium '01
By: MATTHIAS BAAZ, Sy-David Friedman, Jan Krajícek
Publisher: Taylor & Francis Inc
No Review Yet
AED170
Binding:
Digital (delivered electronically)
Release:
07 Mar 2005
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
By: MATTHIAS BAAZ, Voronkov Andrei
Publisher: Springer New York
No Review Yet
AED310
Binding:
Digital (delivered electronically)
Release:
01 Dec 2002
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Kurt Godel and the Foundations of Mathematics: Horizons of Truth
Kurt Godel and the Foundations of Mathematics: Horizons of Truth
By: MATTHIAS BAAZ, Christos H Papadimitriou (University of California at San Diego University of California-Berkeley University of California at San Diego University of California-Berkeley University of California at San Diego University of California at San Diego Universit, Dana S Scott (Carnegie Mellon University, Pennsylvania)
Publisher: Cambridge University Press
No Review Yet
AED76
Binding:
Undefined
Release:
01 Jan 2011
Out of Stock
Notify me when this book is in stockNotify Me
16.
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
By: Andrei Voronkov, MATTHIAS BAAZ
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
17.
Methods of Cut-Elimination
Methods of Cut-Elimination
By: Alexander Leitsch, MATTHIAS BAAZ
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
30 Mar 2011
Out of Stock
Notify me when this book is in stockNotify Me
18.
Kurt Gödel and the Foundations of Mathematics
Kurt Gödel and the Foundations of Mathematics
By: Dana S. Scott, Hilary W. Putnam, Christos H. Papadimitriou, MATTHIAS BAAZ, Charles L. Harper, Jr
Publisher: Cambridge University Press
No Review Yet
AED535
Binding:
Digital download and online
Release:
07 Sep 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found