中央大学図書館
図書館TOP  CHOISポータル  ログイン
  • 目録検索 検索メニュー ▼
  • 利用者サービス マイページ ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • ILL複写依頼
    • ILL貸借依頼
  • よくある質問

中央大学図書館

検索結果一覧へ戻る

Logic, foundations of mathematics, and computability theory

edited by Robert E. Butts and Jaakko Hintikka ; : pbk. -- D. Reidel, c1977. -- (Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975 ; pt. 1)(The University of Western Ontario series in philosophy of science ; v. 9). <BB00368306>
便利機能：
目次・あらすじを見る 詳細情報を見る
書誌URL：

Logic, foundations of mathematics, and computability theory

edited by Robert E. Butts and Jaakko Hintikka ; : pbk. -- D. Reidel, c1977. -- (Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975 ; pt. 1)(The University of Western Ontario series in philosophy of science ; v. 9). <BB00368306>
便利機能：
目次・あらすじを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～2件（全2件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 CL 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 院 院
510.1/I61 00006590293 0件
0002 研究所多摩 社研チーム
511.3/I61/フ 05000012707 0件
No. 0001
巻号
CL
所蔵館 院
配置場所 院
請求記号 510.1/I61
資料ID 00006590293
状態
返却予定日
予約 0件
No. 0002
巻号
CL
所蔵館 研究所多摩
配置場所 社研チーム
請求記号 511.3/I61/フ
資料ID 05000012707
状態
返却予定日
予約 0件
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka
出版・頒布事項 Dordrecht ; Boston : D. Reidel , c1977
形態事項 x, 406 p. : ill. ; 23 cm
巻号情報
ISBN 9027707081
巻号情報
巻次等 : pbk
ISBN 902770709X
書誌構造リンク Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975 <BB01482842> pt. 1//a
書誌構造リンク The University of Western Ontario series in philosophy of science <BB00830217> v. 9//a
注記 Includes bibliographies and index
学情ID BA05100174
本文言語コード 英語
著者標目リンク *International Congress of Logic, Methodology and Philosophy of Science <AU00678497> (5th : 1975 : University of Western Ontario)
著者標目リンク Butts, Robert E. <AU00369981>
著者標目リンク Hintikka, Jaakko, 1929- <AU00333707>
分類標目 LCC:Q174
分類標目 LCC:QA9.A1
分類標目 DC:501 s
分類標目 DC:511/.3
分類標目 Mathematics DC15:510.1
件名標目等 Logic, Symbolic and mathematical -- Congresses
件名標目等 Mathematics -- Philosophy -- Congresses
件名標目等 Computable functions -- Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ