Logika informatika (dasar-dasar logika untuk pemrogram-an komputer dan perancangan komputer).-- ed.1 - SUPRAPTO (Gava Media, 2003)