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)

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)

国立国会図書館請求記号: MA41-111
国立国会図書館書誌ID: 000006242959

資料種別: 図書

著者: Kleene Symposium, University of Wisconsin--Madison, 1978.ほか

出版者: North-Holland Pub. Co.

出版年: 1980.

資料形態: 紙

ページ数・大きさ等: xx, 425 p. : ill. ; 23 cm.

NDC: -

すべて見る

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
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.
シリーズタイトル: Studies in logic and the foundations of mathematics ; v. 101
著者標目: Kleene Symposium, University of Wisconsin--Madison, 1978.
Kleene, Stephen Cole, 1909-1994 ( 00445849 )典拠
Barwise, Jon, -2000 ( 00462879 )典拠
Keisler, H. Jerome ( 00445382 )典拠
Kunen, Kenneth, 1943- ( 01115744 )典拠
出版事項: Amsterdam : North-Holland Pub. Co.
New York : North-Holland Pub. Co.
Amsterdam : sole distributors for the U.S.A. and Canada, Elsevier North-Holland
New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland
出版年月日等: 1980.
出版年（W3CDTF）: 1980
数量: xx, 425 p. : ill. ; 23 cm.
出版地（国名コード）: NL
本文の言語コード: eng
件名標目: Kleene, Stephen Cole, 1909-
Recursion theory -- Congresses.
Intuitionistic mathematics -- Congresses.
LCC: QA9.6
DDC: 511/.3
NDLC: MA41
書誌注記: Includes bibliographies.
所蔵機関: 国立国会図書館
請求記号: MA41-111
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006242959
http://id.ndl.go.jp/bib/000006242959
LC control number: 79020792
https://lccn.loc.gov/79020792
整理区分コード: 211