Title: Logic and computer science
Subjects: Computational complexity, Symbolic and mathematical Logic, Programming (Mathematics), Logic machines