ISBN 978-0-674-55451-1.
Rathjen, Michael; Sieg, Wilfried (2022). "Proof Theory" (https://plato.stanford.edu/entries/pro
of-theory/). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford
University. Retrieved 4 March 2023.