スウガクテキ ロンリガク
数学的論理学 / クリーネ著 ; 小沢健一訳
出版者 | 東京 : 明治図書出版 |
---|---|
出版年 | 1971-1973 |
大きさ | 2冊 ; 22cm |
書誌詳細を非表示
別書名 | 原タイトル:Mathematical logic |
---|---|
一般注記 | 下巻の訳者: 竹内誠吉, 小沢健一 参考文献: 下p241-256 |
NCID | BN02604956 |
本文言語 | 日本語 |
著者標目 | Kleene, Stephen Cole, 1909- 竹内, 誠吉 <タケウチ, セイキチ> 小沢, 健一(1942-) <オザワ, ケンイチ> |
分 類 | NDC6:116.3 NDLC:H35 |
件 名 | NDLSH:記号論理学 NDLSH:数理哲学 |
書誌ID | BB00079121 |
巻冊次 | 上 下 |