Pengantar Logika Matematika - Setiadi Rachmat (Informatika, 2004)