---

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

出版者	Amsterdam : North-Holland
出版者	New York : American Elsevier
出版年	1975
出版年	1975
大きさ	vii, 372 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 in the summer of 1968. ＼ Includes index.

 類似資料