Logika informatika : Dasar-dasar logika untuk pemrograman komputer perancangan komputer / Suprapto - Suprapto