Title: Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983
Subjects: Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic