1. Feferman, S.: The impact of the incompleteness theorems on mathematics. Notices AMS. 53(4), 434–439 (2006)
2. Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, Boston, MA (2001)
3. Murawski, R.: Recursive Functions and Metamathematics: Problems of Completeness and Decidability. Gödel’s Theorems. Springer, Netherlands (1999)
4. Lindström, P.: Aspects of Incompleteness. Lecture Notes in Logic v. 10 (1997)
5. Smith, P.: An Introduction to Gödel’s Theorems. Cambridge University Press (2007)