Matthias Baaz
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryMO
Methods of Cut-Elimination
cover - Image source: Open LibraryKG
Kurt Gödel and the foundations of mathematics
cover - Image source: Open LibraryLC
Logic Colloquium '01
cover - Image source: Open LibraryCS
Computer science logic
cover - Image source: Open LibraryCS
Computer science logic
cover - Image source: Open LibraryLF
Logic for programming, artificial intelligence, and reasoning
cover - KGKurt Godel and the Foundations...Matthias Baaz
Kurt Godel and the Foundations of Mathematics
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Methods of Cut-Elimination
- Open Work
Kurt Gödel and the foundations of mathematics
- Open Work
Logic Colloquium '01
- Open Work
Computer science logic
- Open Work
Computer science logic
- Open Work
Logic for programming, artificial intelligence, and reasoning
- Open Work
Kurt Godel and the Foundations of Mathematics