1. Bovykin A. Several proofs of PA-unprovability. Contemporary Mathematics, 380, 29, 2005.
2. Dean W. Recursive Functions. Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/entries/recursive-functions/, 2023.
3. Robinson R. An essentially undecidable axiom system. Proceedings of the International Congress of Mathematics pp. 729–730, 1950.
4. Schwichtenberg H and Wainer SS. Proofs and computations. Perspectives in Logic, Cambridge University Press, 2012.
5. Weaver N. Forcing for mathematicians. World Scientific Publishing Co. 2014.