Title: Logic of computation
Subjects: Congresses, Symbolic and mathematical Logic, Computer science