Logika Informatika (Dasar-dasar logika untuk pemograman & perancangan komputer) - SUPRAPTO (Gava Media, 2003)