Pengantar Logika dan Allogaritma - Yulikuspartono