Logika informatika : dasar-dasar logika untuk pemrograman komputer & perancangan komputer - Suprapto (Gava Media, 2003)