1. Frege, G.: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Nebert, Halle (1879)
2. Van Heijenoort, J.: From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931. Harvard University Press, Cambridge (1967)
3. Whitehead, A.N., Russell, B.: Principia Mathematica I, 2nd edn. Cambridge University Press, Cambridge (1915)
4. Köhler, E.: Gödel und der Wiener Kreis. In: Kruntorad, P. (ed.) Jour Fixe der Vernunft: Der Wiener Kreis und die Folgen. Hölder-Pichler-Tempsky, Vienna (1991)
5. Wang, H.: Reflections on Kurt Gödel. MIT Press, Cambridge (1987)