Logika Matematika Untuk Ilmu Komputer - F. Susianto (Andi, 2006)