Aczel, P., Simmons, H., & Wainer, S. S. (1992). Proof theory: A selection of papers from the leeds proof theory programme. Cambridge, CB.: Cambridge University Press.
Παραπομπή Chicago StyleAczel, Peter, Harlod Simmons, and Stanley S. Wainer. Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme. Cambridge, CB.: Cambridge University Press, 1992.
Παραπομπή MLAAczel, Peter, Harlod Simmons, and Stanley S. Wainer. Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme. Cambridge, CB.: Cambridge University Press, 1992.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.