Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2: Computation and Proof Theory Richter M.M. Heftet / 1984 / Engelsk
