The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

• 資料種別: 図書
• ISBN: 0444853456
• タイトル: 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
• 著者標目: Kleene Symposium; https://ci.nii.ac.jp/author/DA01672751; Kleene, Stephen Cole; https://ci.nii.ac.jp/author/DA01672795; Barwise, Jon; https://ci.nii.ac.jp/author/DA00049826; Keisler, H. Jerome; https://ci.nii.ac.jp/author/DA00061752; Kunen, Kenneth; https://ci.nii.ac.jp/author/DA00208985
• 出版事項: North-Holland Pub. Co.; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
• 出版年月日等: 1980
• 出版年（W3CDTF）: 1980
• 大きさ: 23 cm
• 出版地（国名コード）: ne
• 本文の言語コード: en
• 件名標目: Recursion theory -- Congresses; Intuitionistic mathematics -- Congresses; Kleene, Stephen Cole, 1909-
• LCC: QA9.6
• 対象利用者: 一般
• 一般注記: Includes bibliographies
• 関連情報: Studies in logic and the foundations of mathematics; https://cir.nii.ac.jp/crid/1130282269761864832
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA01039774#entity; https://lccn.loc.gov/79020792
• 掲載誌: Studies in logic and the foundations of mathematics; https://cir.nii.ac.jp/crid/1130282269761864832
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA01039774 : BA01039774
• LC control number: 79020792; https://lccn.loc.gov/79020792