Symbolic Logic and Mechanical Theorem ProvingeBookSymbolic Logic and Mechanical Theorem ProvingkaryaChin-Liang ChangPenilaian: 0 dari 5 bintang0 penilaianSimpan Symbolic Logic and Mechanical Theorem Proving untuk nanti