Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II - Richter, Michael M., 1938- (Lecture notes in mathematics (Springer-Verlag) ;, 1984)