Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Proof theory and logical complexity
Proof theory and logical complexity
Author 
Girard, Jean-Yves.
Preferred Shelf Number 
QA 9.54 G57 1987- V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Why is there philosophy of mathematics at all?
Why is there philosophy of mathematics at all?
Author 
Hacking, Ian, author.
Preferred Shelf Number 
QA8.4 H29 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for The nuts and bolts of proofs : an introduction to mathematical proofs
The nuts and bolts of proofs : an introduction to mathematical proofs
Author 
Cupillari, Antonella.
Preferred Shelf Number 
QA9.54 C86 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Explanation and proof in mathematics : philosophical and educational perspectives
Explanation and proof in mathematics : philosophical and educational perspectives
Author 
Hanna, G. Jahnke, H. N. (Hans Niels), 1948- Pulte, Helmut.
Preferred Shelf Number 
QA9.54 E97 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Quantum computation and quantum information
Quantum computation and quantum information
Author 
Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-
Preferred Shelf Number 
QA76.889 N54 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies: