Suprapto text Yogyakarta : Gava Media, 2003 ind daftar isi: logika proposisional, logika predikat, logika predikat lanjut, rangkaian logika kombinasional logika informatika URN:ISBN:979-97088-3-4