* van Heijenoort, J., "From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931", Harvard University Press, Cambridge, MA, 1967.
* van Heijenoort, J., "From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931", Harvard University Press, Cambridge, MA, 1967.