Logika matematika untuk ilmu komputer - F. Soesianto dan Djoni Dwijono editor Theresia Arie Prabawati. (Andi)