ผู้เขียน: B. Schinzel

E. Borger & W. Oberschelp: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983