Proof theory
By: Gaisi Takeuti.
Series: Studies in logic and the foundations of mathematics ;; v. 81
Publisher: North-Holland Pub. Co.; American Elsevier Pub. Co.
Published: 1975
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 372
Subjects: Proof theory.
Notes: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.
Includes index.