Matthias Baaz

2 books

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

Kurt Godel and the Foundations of Mathematics: Horizons of Truth

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

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