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:	Proof theory.