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 for Fuzzy Logics
Proof Theory for Fuzzy Logics
Author 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Proof Theory The First Step into Impredicativity
Proof Theory The First Step into Impredicativity
Author 
Pohlers, Wolfram. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69319-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Factors and Factorizations of Graphs Proof Techniques in Factor Theory
Author 
Akiyama, Jin. author. Kano, Mikio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21919-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Author 
Kohlenbach, Ulrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77533-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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: