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