APA (7th ed.) Citation

Logic Colloquium Aachen & Richter, M. M. (1984). Computation and proof theory: Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II. Springer-Verlag.

Chicago Style (17th ed.) Citation

Logic Colloquium Aachen and Michael M. Richter. Computation and Proof Theory: Proceedings of the Logic Colloquium Held in Aachen, July 18-23, 1983, Part II. Berlin: Springer-Verlag, 1984.

MLA (9th ed.) Citation

Logic Colloquium Aachen and Michael M. Richter. Computation and Proof Theory: Proceedings of the Logic Colloquium Held in Aachen, July 18-23, 1983, Part II. Springer-Verlag, 1984.