Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 - Richter, Michael M. (Springer, 1964)