Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 - Richter, Michael M. (Springer, 1964)
En: Lecture notes in mathematics. --Berlin : Springer, 1964- . -- v. 1104 (1984).