Buku ini merupakan pengenalan dasar terhadap konsep lojik dan teknik – teknik yang mendasari pemrograman computer. Bahasa lojik merupakan alat alami untuk mengekspresikan maksud – maksud atau perilaku – perilaku yang mempunyai tujuan dari program – program computer, dalam cara yang sama bahasa – bahasa pemrograman mengekspresikan algoritma yang mewujudkan maksud – maksud tersebut. Teknik – teknik lojik memainkan peranan utama dalam pekerjaan untuk otomasi pemrograman computer, meliputi sintesa program, verifikasi, pencarian kesalahan (debugging), dan transformasi. Dalam pembahasannya, buku logika informatika ini �disusun dalam 4 bab yaitu : bab pertama tentang kalimat – kalimat abstrak dalam logika proposisional, interpretasi, semantic tree, kalimat – kalimat valid, satisviable, dan subtitusi; bab kedua tentang kalimat – kalimat dalam logika predikat, domain, interpretasi, kalimat – kalimat tertutup, valid, tidak valid quantifier; dilanjutkan bab ketiga berisi skema – skema kalimat valid, closur universal, dan bab keempat tentang logika biner, aljabar Boolean, manipulasi map.