1. Formules d'Hermite pour les approxlmants de Pade de logaritbmes et de fonctions binomes et mesures d'irrationality;Choodnovsky;C. r. Acad. Sc. Paris, Ser. A.,1979
2. The decision problem;Dreben,1979
3. Topological dynamics and combinatorial number theory;Fürstenberg;Journal d'Analyse,1978
4. Die Widerspruchsfreiheit der reinen Zahlentheorie;Gentzen;Math. Ann.,1936
5. Diskussion zur Grundlegung der Mathematik;Gödel;Erkenntnis,1931