Buku ini merupakan buku ajarmengenai 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, rekaya perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lain-lainnya yang mempergunakan logika secara intensif. Selain belajar logika, Anda juga akan disuguhi sejarah singkat perkembangan logika beserta para pakar yang mengembangkannya.