Title: ELEMENTARY LOGIC WITH APPLICATIONS
Subjects: Computer science, Symbolic and mathematical Logic, Electronic data processing, Informatique, Logique symbolique et mathématique, Data processing