Title:
Proof theory
Author:
Takeuti, Gaisi, 1926-
ISBN:
9780080954912
Publication Information:
Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Physical Description:
1 online resource (vii, 372 p.)
Series:
Studies in logic and the foundations of mathematics ; v. 81
Series Title:
Studies in logic and the foundations of mathematics ; v. 81
Subject Term:
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444104922Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 257304-1001 | ONLINE | Searching... | Searching... |