---

＜図書＞
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
(Studies in logic and the foundations of mathematics ; v. 101)

出版者	Amsterdam : North-Holland
出版者	New York : Elsevier North-Holland
出版年	1980
出版年	1980
大きさ	xx, 425 p. : ill. ; 23 cm.
著者標目	Kleene Symposium (1978 ; Madison, Wis.) Kleene, Stephen Cole, 1909- Barwise, Jon Keisler, H. Jerome Kunen, Kenneth
件　名	Kleene, Stephen Cole Recursion theory -- Congresses  全ての件名で検索 Intuitionistic mathematics -- Congresses  全ての件名で検索

 類似資料