From Frege to Gödel : a source book in mathematical logic, 1879-1931 - Heijenoot, Jean van (Harvard University Press, 1967)