The foundations of mathematics : a study in the philosophy of science - Beth, Evert W. (Studies in logic : and the foundations of mathematics / L.E.J.Brouwer, 1968)