Kurt Gödel: Collected Works: Volume II: Publications 1938-1974
Kurt Gödel
Publications 1938-1974 Kurt Gödel S. Feferman. Russell's mathematical logic* ( 1944) Mathematical logic, which is nothing else but a precise and complete formulation of formal logic, has two quite different aspects. On the one hand, it is a ...