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:
Search Result 1
by Takeuti, Gaisi, 1926-2017
Published 1975
Book
Search Result 2
by Takeuti, Gaisi, 1926-2017
Published 1975
Connect to the full text of this electronic book
eBook