Proof theory/
Takeuti, Gaisi, 1926-
Proof theory/ Gaisi Takeuti. - Amsterdam: North-Holland, 1975. - vii,372 p. ; 23 cm. - Studies in logic and the foundations of mathematics v. 81. .
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.
0444104925 (American Elsevier)
Proof theory.
Proof theory/ Gaisi Takeuti. - Amsterdam: North-Holland, 1975. - vii,372 p. ; 23 cm. - Studies in logic and the foundations of mathematics v. 81. .
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.
0444104925 (American Elsevier)
Proof theory.