Logika Matematika : Buku Teks Ilmu Komputer - HENDROWATI, Retno (Informatika Bandung, 2000)