Studies in logic and the foundations of mathematics (North-Holland Publ. Co. [u.a.], 1950)