1. Existentially closed structures and Gödel's second incompleteness theorem;Adamowicz;J. Symbolic Logic,2001
2. A new proof of the Gödel incompleteness theorem;Boolos;Notices Amer. Math. Soc.,1989
3. Computability and logic;Boolos,1998
4. C. Cieśliński, Gödel's incompleteness theorems and semantical antinomies, Ph.D. Thesis, University of Warsaw, Institute of Philosophy, 1999.
5. A. Church, A note on the Entscheidungsproblem, J. Symbolic Logic 1 (1936) 40–41. Davis, M., The Undecidable Raven Press, New York, 1965, pp. 110–115 (reprint).