APA (7th ed.) Citation

Richter, M. M., Börger, E., Oberschelp, W., Schinzel, B., & Thomas, W. (1984). Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II. Springer. https://doi.org/10.1007/BFb0099476

Chicago Style (17th ed.) Citation

Richter, Michael M., Egon Börger, Walter Oberschelp, Brigitta Schinzel, and Wolfgang Thomas. Computation and Proof Theory: Proceedings of the Logic Colloquium Held in Aachen, July 18–23, 1983 Part II. Berlin [u.a.]: Springer, 1984. https://doi.org/10.1007/BFb0099476.

MLA (9th ed.) Citation

Richter, Michael M., et al. Computation and Proof Theory: Proceedings of the Logic Colloquium Held in Aachen, July 18–23, 1983 Part II. Springer, 1984. https://doi.org/10.1007/BFb0099476.