Logika Informatika : Dasar-Dasar Logika Untuk Pemrograman Komputer Perancangan Komputer Suprapto text Yogyakarta : Gava Media, 2003 ind daftar isi: logika proposisional, logika predikat, logika predikat lanjut, rangkaian logika kombinasional daftar isi: logika proposisional, logika predikat, logika predikat lanjut, rangkaian logika kombinasional logika informatika URN:ISBN:979-97088-3-4