Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka
(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)
データ種別 | 図書 |
---|---|
出版情報 | Dordrecht ; Boston : D. Reidel , c1977 |
本文言語 | 英語 |
大きさ | x, 406 p. : ill. ; 23 cm |
所蔵情報を非表示
配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 予約 | 指定図書グループ |
---|---|---|---|---|---|---|---|---|
2F図書 (自然科学・技術・産業・芸術) | : pbk | 401||I5||5-1 | 9851775425 |
|
902770709X |
|
書誌詳細を非表示
一般注記 | Includes bibliographies and index |
---|---|
著者標目 | *International Congress of Logic, Methodology and Philosophy of Science (5th : 1975 : University of Western Ontario) Butts, Robert E. Hintikka, Jaakko, 1929- |
分 類 | LCC:Q174 LCC:QA9.A1 DC:501 s DC:511/.3 |
件 名 | LCSH:Logic, Symbolic and mathematical -- Congresses
全ての件名で検索
LCSH:Mathematics -- Philosophy -- Congresses 全ての件名で検索 LCSH:Computable functions -- Congresses 全ての件名で検索 |
書誌ID | TY00013057 |
ISBN | 9027707081 |
NCID | BA05100174 |