真理・証明・計算 : 論理と機械真理・証明・計算 : 論理と機械内井惣七出版社ミネルヴァ書房発売日1989-04-01ISBN9784623018840読みたい読書中読んだ詳細はこちらからAmazonで見るシェアする
