Logika Matematika Untuk Ilmu Komputer - F. Soesianto (andi offset)