数学的論理学 / クリーネ著 ; 小沢健一訳
スウガクテキ ロンリガク
データ種別 | 図書 |
---|---|
出版者 | 東京 : 明治図書出版 |
出版年 | 1971-1973 |
本文言語 | 日本語 |
大きさ | 2冊 ; 22cm |
所蔵情報を非表示
配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | 請求メモ | ISBN | 予約 | 利用注記 |
---|---|---|---|---|---|---|---|---|---|
3階 一般書架 | 1 | 410.96/Kl3/1 | 20076267 |
|
|
|
|||
3階 一般書架 | 2 | 410.96/Kl3/2 | 20076276 |
|
|
|
書誌詳細を非表示
データ種別 | 図書 |
---|---|
別書名 | 原タイトル:Mathematical logic |
一般注記 | 下巻の訳者: 竹内誠吉, 小沢健一 参考文献: 下p241-256 |
著者標目 | Kleene, Stephen Cole, 1909- 竹内, 誠吉 <タケウチ, セイキチ> 小沢, 健一(1942-) <オザワ, ケンイチ> |
件 名 | NDLSH:記号論理学 NDLSH:数理哲学 |
分 類 | NDC6:116.3 NDLC:H35 |
書誌ID | 7000057560 |
NCID | BN02604956 |