APA (7th ed.) Citation

Leeds Proof Theory Programme <1990, Leeds University>, Aczel, P., Simmons, H., & Wainer, S. S. (1993). Proof theory: A selection of papers from the Leeds Proof Theory Programme, 1990. Cambridge University Press. https://doi.org/10.1017/CBO9780511896262

Chicago Style (17th ed.) Citation

Leeds Proof Theory Programme <1990, Leeds University>, Peter Aczel, Harold Simmons, and S. S. Wainer. Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme, 1990. Cambridge: Cambridge University Press, 1993. https://doi.org/10.1017/CBO9780511896262.

MLA (9th ed.) Citation

Leeds Proof Theory Programme <1990, Leeds University>, et al. Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme, 1990. Cambridge University Press, 1993. https://doi.org/10.1017/CBO9780511896262.