Proof theory /

Bibliographic Details
Main Author: Takeuti, Gaisi, 1926-2017
Format: Book
Language:English
Published: Amsterdam ; New York : North-Holland ; 1987.
Edition:2nd ed.
Series:Studies in logic and the foundations of mathematics ; v. 81.
Subjects:

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA9.54 .T34 1987
 
Call Number Status Get It
QA9.54 .T34 1987 Available