Logika Matematika untuk Ilmu Komputer (Andi Offset, 2010)