On the building blocks of mathematical logic. In "From Frege to Godel", van Heijenoort (0)

by M Schonfinkel