真理・証明・計算

論理と機械著者：内井惣七
出版社：ミネルヴァ書房
発行年：1993年第5刷

状態：B　カバースレあり。小口若干経年。

20120202008B