From Frege to Gödel. A source book in mathematical logic, 1879-1931.
Van Heijenoort, Jean.
Cambridge, Mass., 
1967.