Proof theory / Gaisi Takeuti.

Saved in:

Bibliographic Details
Main Author:	Takeuti, Gaisi, 1926-
Format:	Book
Language:	English
Published:	Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
Edition:	2nd ed.
Series:	Studies in logic and the foundations of mathematics ; v. 81.
Subjects:	Proof theory.

Holdings details from Science Library
Call Number:	QA9.54 .T34 1987
Status:	Available

Similar Items