Buku Logika Matematika Untuk Ilmu Komputer Djoni Dwijono