Studies in logic and the foundations of mathematics (Elsevier, 1950)