東海大学蔵書検索

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. -- North-Holland Pub. Co., 1980. -- (Studies in logic and the foundations of mathematics ; v. 101). <BB00023145>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約 WEB書棚
0001 11号館 【外部書庫】洋書 410.12/K 001000884254X 配架済 0件
No. 0001
巻号
所蔵館 11号館
配置場所 【外部書庫】洋書
請求記号 410.12/K
資料ID 001000884254X
状態 配架済
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 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
出版・頒布事項 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
巻号情報
ISBN 0444853456
書誌構造リンク Studies in logic and the foundations of mathematics <TY10084166> v. 101//a
注記 Includes bibliographies
学情ID BA01039774
本文言語コード 英語
著者標目リンク *Kleene Symposium <AU00026492> (1978 : Madison, Wisconsin)
著者標目リンク Kleene, Stephen Cole, 1909- <AU00026493>
著者標目リンク Barwise, Jon <AU00024784>
著者標目リンク Keisler, H. Jerome, 1936- <AU00024785>
著者標目リンク Kunen, Kenneth <AU00026494>
分類標目 LCC:QA9.6
分類標目 DC:511/.3
ローカル分類標目 NDC:410.12
件名標目等 Recursion theory -- Congresses
件名標目等 Intuitionistic mathematics -- Congresses
件名標目等 Kleene, Stephen Cole, 1909-
レコードID BB00023145