---

＜図書＞
Proof theory / Gaisi Takeuti.
(Studies in logic and the foundations of mathematics ; v. 81)

版	2nd ed.
出版者	Amsterdam : North-Holland
出版者	New York : Elsevier Science Pub. Co.
出版年	1987
出版年	1987
大きさ	x, 490 p. ; 23 cm.
著者標目	Takeuti, Gaishi, 1926-
件　名	Proof theory
一般注記	Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968. ＼ Includes index.

 類似資料