書誌データ

---

Jcode	c
NDC	n
code	9784-623-01884-0
ISBN13	9784623018840
商品名	真理・証明・計算
作者	内井惣七
出版社	ミネルヴァ書房
シリーズ	-
サイズ	-
出版日	1989
版刷	初版1刷
定価	2300
頁	208p
函：帯	-：-
解題	論理と機械

この本についてtweet出来ます

---

[前頁]