1. [7] Kohlenbach, U., Applied Proof Theory: Proof Interpretations and Their Use in Mathematics, Springer Monographs in Mathematics, Springer, Berlin, 2008.
2. [1] Beeson, M. J., “Goodman’s theorem and beyond,” Pacific Journal of Mathematics, vol. 84 (1979), pp. 1–16.
3. [2] Beeson, M. J., Foundations of Constructive Mathematics, vol. 6 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3), Springer, Berlin, 1985.
4. [3] Coquand, T., “About Goodman’s theorem,” Annals of Pure and Applied Logic, vol. 164 (2013), pp. 437–42.
5. [4] Goodman, N. D., “The theory of the Gödel functionals,” Journal of Symbolic Logic, vol. 41 (1976), pp. 574–82.