Title:
Handbook of proof theory
Author:
Buss, Samuel R.
ISBN:
9780444898401
9780080533186
Publication Information:
New York : Elsevier, 1998.
Physical Description:
1 online resource (811 p.)
Series:
Studies in logic and the foundations of mathematics ; v. 137
Series Title:
Studies in logic and the foundations of mathematics ; v. 137
Subject Term:
Added Author:
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444898401Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 256546-1001 | ONLINE | Searching... | Searching... |