Logic for Computer Science: Foundations of Automatic Theorem Proving, Second EditioneBookLogic for Computer Science: Foundations of Automatic Theorem Proving, Second EditionkaryaJean H. GallierPenilaian: 3 dari 5 bintang3/5Simpan Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition untuk nanti