Logika Informatika - Setiadji (Graha Ilmu, 2007)
buku ini membahas tentang logika informatika sebagai suatu aljabar proposisi dengan pengertiannya yang cukup jelas dan simpikasi.