Stav dette: Logika informatika (dasar-dasar logika untuk pemrogram-an komputer dan perancangan komputer).-- ed.1