Computation and proof theory. Part 2 : proceedings of the logic colloquium ; Aachen, July 18 - 23, 1983 - Ambos-Spies, Klaus (Springer, 1984)