Title: First Course in Formal Logic and Its Applications in Computer Science
Subjects: Electronic digital computers, programming, Computer science, mathematics