Logika Matematika Untuk Ilmu komputer/ F. Soesianto dan Djoni Dwijono - Soesianto, F., dan Djoni Dwijono (Yogyakarta: Andi, 2006)