Proof theory / Gaisi Takeuti.

Bibliographic Details
Uniform Title:	Studies in logic and the foundations of mathematics ; v. 81.
Main Author:	Takeuti, Gaisi, 1926-2017
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.
Physical Description:	vii, 372 pages ; 23 cm.
Format:	Book

Proof theory

Authors: Takeuti, Gaisi, 1926-2017
Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987

Physical Description: x, 490 pages ; 23 cm.

Book

Authors: Takeuti, Gaisi, 1926-
Published: North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975

Electronic eBook