Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, Thomas, W.₹3,556