Mendeley出力
＜図書＞
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 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 自動書庫 | 401/I 57-1/3 | 1977 |
|
017232000069733 |
|
|||
|
|
|
理系図1F 開架 | 410.6/I 572/(75) | 1977 |
|
058211981276181 |
|
|||
|
|
|
理系図3F 数理独自 | P 77/LOGI/1 | 1977 |
|
068222480038957 |
|
書誌詳細
| 一般注記 | 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- |
| 件 名 | LCSH:Logic, Symbolic and mathematical -- Congresses
全ての件名で検索
LCSH:Mathematics -- Philosophy -- Congresses 全ての件名で検索 LCSH:Computable functions -- Congresses 全ての件名で検索 |
| 分 類 | LCC:Q174 LCC:QA9.A1 DC:501 s DC:511/.3 |
| 書誌ID | 1000037890 |
| ISBN | 9027707081 |
| NCID | BA05100174 |
| 巻冊次 | ISBN:9027707081 : pbk ; ISBN:902770709X |
| 登録日 | 2009.09.10 |
| 更新日 | 2009.11.02 |