References
- Bernays , P. 1930–31 . Die Philosophie der Mathematik und die Hilbertsche Beweistheorie . Blätter für deutsche philosophie , 4 : 326 – 367 .
- Gödel, K. 1934. ‘Undecidable propositions of formal mathematical systems’, Mimeographed lecture notes by S. Kleene and J.B. Rosser
- Herbrand , J. 1931 . Unsigned note on Herbrand's thesis, written by Herbrand himself . 6 : 186 – 189 . Annales de l'Université de Paris
- Hilbert, D. Lectures on the Foundations of Arithmetic and Logic 1917–1933, in Michael Hallett, William Ewald, Wilfried Sieg and Ulrich Majer eds. (in German)
- Hilbert, D. 1900. Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker–Kongress zu Paris 1900, Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, 253–297
- Hilbert , D. and Ackermann , W. 1928 . Grundzüge der Theoretischen Logik , Berlin : Springer .