Heijenoort, From Frege to Gödel. A Source Book (1967)

by J van
Venue:in Mathematical Logic 1879-1931