Logika matematika untuk ilmu komputer - Djoni Dwijono