Pengantar logika dan algoritma - Joseph Epstein (ANDI, 2004)