Logika Matematika untuk ilmu komputer - Dwijono, Djoni (s.n, 2006)