Logika matematika untuk ilmu komputer / Soesianto - Soesianto (Andi, 2007)