Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983Logic Colloquium (1983 Aachen, Germany)₹3,538