Russell’s mathematical logic (1944)

by K Gödel