Logika Matematika untuk Ilmu Komputer - SOESIANTO , F (C.V Andi Offset)