Proof theory
By: Gaisi Takeuti.
Edition: 2nd ed.
Series: Studies in logic and the foundations of mathematics ;; v. 81
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1987
Place of publication: Amsterdam; New York; New York, N.Y., U.S.A
Language: eng
Number of pages: 490
Subjects: Proof theory.
Notes: Bibliography: p. 481-485.
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968.
Includes index.