Matthias Baaz

2 books

Kurt Godel and the Foundations of Mathematics: Horizons of Truth by Hilary Putnam, Matthias Baaz, Christos H. Papadimitriou, Dana S. Scott, Charles L. Harper

Kurt Godel and the Foundations of Mathematics: Horizons of Truth

Hilary Putnam, Matthias Baaz, Christos H. Papadimitriou, Dana S. Scott, Charles L. Harper

540 pages • first pub 2011 (editions)

nonfiction mathematics philosophy challenging informative medium-paced
Methods of Cut-Elimination by Alexander Leitsch, Matthias Baaz

Methods of Cut-Elimination

Trends in Logic

Alexander Leitsch, Matthias Baaz

290 pages • missing pub info (editions)

nonfiction computer science mathematics informative medium-paced
More...