---

＜図書＞
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 ; New York : North-Holland Pub. Co.
出版者	New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
出版年	1980
本文言語	英語
大きさ	xx, 425 p. : ill. ; 23 cm
著者標目	*Kleene Symposium (1978 : Madison, Wisconsin) Kleene, Stephen Cole, 1909- Barwise, Jon Keisler, H. Jerome, 1936- Kunen, Kenneth
件　名	LCSH:Recursion theory -- Congresses  全ての件名で検索 LCSH:Intuitionistic mathematics -- Congresses  全ての件名で検索 LCSH:Kleene, Stephen Cole, 1909-
一般注記	Includes bibliographies

 類似資料