Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Kurt Gödel and the Foundations of Mathematics Horizons of Truth
Author 
Baaz, Matthias. Papadimitriou, Christos H.. Putnam, Hilary W.. Scott, Dana S.. Harper, Jr, Charles L..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Kurt Gödel and the foundations of mathematics : horizons of truth
Kurt Gödel and the foundations of mathematics : horizons of truth
Author 
Baaz, Matthias.
Preferred Shelf Number 
QA9.65 K87 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Methods of Cut-Elimination
Methods of Cut-Elimination
Author 
Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0320-9
Format: 
Availability 
Online Library~1
Available:
Copies: