Russell's mathematical logic" in The philosophy of (1944)

by K Gdel