The foundations of mathematics : - Beth, Evert Willem (Studies in logic and the foundations of mathematics, 1959)