Proof theory /

Bibliographic Details
Main Author: Takeuti, Gaisi, 1926-2017
Format: Book
Language:English
Published: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Series:Studies in logic and the foundations of mathematics ; v. 81.
Subjects:
Search Result 1
by Takeuti, Gaisi, 1926-2017
Published 1987
Book
Search Result 2
by Takeuti, Gaisi, 1926-2017
Published 1975
Connect to the full text of this electronic book
eBook