スウガクテキ ロンリガク
数学的論理学 / クリーネ著 ; 小沢健一訳
データ種別 | 図書 |
---|---|
出版者 | 東京 : 明治図書出版 |
出版年 | 1971-1973 |
大きさ | 2冊 ; 22cm |
所蔵情報を非表示
配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | 予約 | 文庫区分 | 教員指定/教員執筆/多読 | 仮想書架 |
---|---|---|---|---|---|---|---|---|---|
今出川図書館 博遠館書庫 | 上 | 116.3||K7||1 | 770506015 |
|
|
|
|||
今出川図書館 博遠館書庫 | 下 | 116.3||K7||2 | 770506016 |
|
|
|
|||
社会学部 B1書庫 | 上 | 116.3||K7||1 | 770208216 |
|
|
|
|||
社会学部 B1書庫 | 下 | 116.3||K7||2 | 770208217 |
|
|
|
書誌詳細を非表示
書誌ID | BB00705688 |
---|---|
本文言語 | 日本語 |
別書名 | 原タイトル:Mathematical logic |
一般注記 | 下巻の訳者: 竹内誠吉, 小沢健一 参考文献: 下p241-256 |
著者標目 | Kleene, Stephen Cole, 1909- 竹内, 誠吉 <タケウチ, セイキチ> 小沢, 健一(1942-) <オザワ, ケンイチ> |
件 名 | NDLSH:記号論理学 NDLSH:数理哲学 |
分 類 | NDC6:116.3 NDLC:H35 |
巻冊次 | 上 RefWorks出力(各巻) 下 RefWorks出力(各巻) |
NCID | BN02604956 |
類似資料
この資料の利用統計
このページへのアクセス回数:4回
※2020年8月16日以降
全貸出数:2回
(1年以内の貸出:0回)
※2000年4月1日以降