Mathematical interpretation of formal systems - s : L.E.J. Brouwer (North-Holland Publishing Company, 1955)