Logika Matematika untuk Ilmu komputer - F. Soesianto; Djoni Dwijono