Heijenoort (editor), From Frege to G odel: A source book in mathematical logic, 1879--1931 (1967)

by J van