buku mengenai logika informatika membahas dasar-dasar berpikir rasional dan sistematis yang diaplikasikan dalam dunia komputer.