NCID | BN02604956 |
タイトル | 数学的論理学 / クリーネ著 ; 小沢健一訳||スウガクテキ ロンリガク |
出版者 | 東京 : 明治図書出版 , 1971-1973 |
形態 | 2冊 ; 22cm |
別書名 | Mathematical logic
|
注記 | 下巻の訳者: 竹内誠吉, 小沢健一 参考文献: 下p241-256 |
分類 | NDC6:116.3 NDLC:H35 |
件名 | NDLSH:記号論理学
NDLSH:数理哲学
|
著者情報 | Kleene, Stephen Cole, 1909- 竹内, 誠吉 (タケウチ, セイキチ) 小沢, 健一 (1942-) (オザワ, ケンイチ)
|
和洋区分 | 和 |
標題言語 | 日本語 |
本文言語 | 日本語 |
出版国 | 日本 |
番号 | NBN : JP74011243,JP74011244 NDLCN : 73004717 |