Title: Logic, Construction, Computation
Subjects: Symbolic and mathematical Logic