Setiadji text Yogyakarta : Graha Ilmu, 2007 ind pembahasan buku meliputi: logika informatika sebagai suatu aljabar proposisi dengan pengertiannya yang cukup jelas, simplifikasi, model-model logika yang rumit, penarikan kesimpulan dari beberapa hipotesis yang diketahui, aljabar boole, aljabar tombol listrik, masalah gerbang logika dan aplikasinya, juga kualifikasi beserta contoh-contohnya logika informatika URN:ISBN:978-979-756-236-6