Title: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
Subjects: Computable functions, Proof theory, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations