Mathematical logic as based on the theory of types, From Frege to Godel: A source book in mathematical logic (1967)

by B Russell
Venue:in Mathematical Logic