Quelques dates de la logique formelle

• L'analyse mathématique de la logique, G. Boole, 1847
• Les fondements de l'arithmétique, G. Frege, 1884
• La lettre de B. Russell à G. Frege (le paradoxe de Russell) , 1902
  
• Principia Mathematica, B. Russell, A.N. Whitehead,
  
• Discours de Bologne de D. Hilbert, 1928
• Thèse de Jacques Herbrand, 1926
• "Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés", K. Gödel, 1931
• "Finite combinatory processes—formulation 1" (The Undecidable), E. Post, 1936
• "Un problème insoluble de la théorie des nombres élémentaires", A. Church, S. Kleene, J.B. Rosser, 1936
  
• "Sur les nombres calculables, avec une application à l'Entscheidungsproblem", A. Turing, 1937