Logika informatika dasar-dasar logika untuk pemrograman komputer dan perancangan komputer - SUPRAPTO (Gava Media, 2003)