Buku Logika Informatika ini merupakan Buku Kolaborasi lintas dosen di Indonesia yang membawahi bidang informatika, sistem informasi dan ilmu komputer, dalam buku ini dijelaskan tentang Sejarah dan perkembangan logika, Konsep dasar logika, Simbol logika, Operator logika, Tabel verifikasi, Kalkulus proposisi, Kalkulus predikat, Logika relasional, Logika temporal, Logika temporal relasional, Logika fuzzy, Logika bayesiana, Logika multivalensi, dan Aplikasi logika dalam bidang informatika. Buku ini akan menjadi referensi bagi mahasiswa informatika, Sistem informasi dan ilmu komputer dalam mempelajari dan memahami tentang logika informatika.