| NCID | BN03413567 |
| タイトル | 真理・証明・計算 : 論理と機械 / 内井惣七著||シンリ ショウメイ ケイサン : ロンリ ト キカイ |
| 出版者 | 京都 : ミネルヴァ書房 , 1989.4 |
| 形態 | viii, 197p ; 21cm |
| 分類 | NDC8:116
NDC8:410.96
NDLC:MA41 |
| 件名 | BSH:論理学
NDLSH:記号論理学
|
| 著者情報 | 内井, 惣七 (1943-) (ウチイ, ソウシチ)
|
| 和洋区分 | 和 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 出版国 | 日本 |
| ISBN | 4623018849
|
| 番号 | NBN : JP89040406
OTHN : JLA:89012625 |