Logika Matematika untuk Ilmu Komputer - <F. Soesianto> (Andi Offset, 2007)