APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Ambos-Spies, Klaus. Computation and Proof Theory. Part 2: Proceedings of the Logic Colloquium ; Aachen, July 18 - 23, 1983. Berlin: Springer, 1984.

MLA-Zitierstil (9. Ausg.)

Ambos-Spies, Klaus. Computation and Proof Theory. Part 2: Proceedings of the Logic Colloquium ; Aachen, July 18 - 23, 1983. Springer, 1984.