■ Carnap, Rudolf: Logical Syntax of Language, Nueva York, 1937.
■ Findlay, J.: «Goedelian sentences: a non-numerical approach», Mind, Vol. 51 (1942), pags. 259-265.
■ Gödel, Kurt: «Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I», Monatshefte für Mathematik und Physik, Vol. 38 (1931), pags. 173-198.
■ Kleene, S. C.: Introduction to Metamathematics, Nueva York, 1952.
■ Ladrière, Jean: Limitaciones internas de los formalismos, Madrid, Ed. Tecnos, 1969.
■ Mostowsky, A.: Sentences Undecidable in Formalized Arithmetic, Amsterdam, 1952.
■ Quine, W. V. O.: Methods of Logic, Nueva York, 1950.
■ Rosser, Barkley: «An informal exposition of proofs of Gödel’s theorems and Church’s theorem», Journal of Symbolic Logic, Vol. 4 (1939), pags. 53-60.
■ Turing, A. M.: «Computing machinery and intelligence», Mind, Vol. 59 (1950), pags. 433-460.
■ Weyl, Hermann: Philosophy of Mathematics and Natural Science, Princeton, 1949.
■ Wilder, R. L.: Introduction to the Foundations of Mathematics, Nueva York, 1952.