Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Handbook of proof theory
Handbook of proof theory
Author 
Buss, Samuel R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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: