1 - From Frege to Gödel : a source book in mathematical logic, 1879-1931Van Heijenoort, Jean (1912-1986)Cote : [05 VAN-HEI 67]