Buku ini merupakan buku ajar mengenai logika matematika untuk Ilmu Komputer. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif.