Title: From logic to computing
Subjects: Computer science, Symbolic and mathematical Logic