Mathematische grundlageforschung, intuitionismus, beweistheorie - Heyting, Arend (Springer Verlag, 1934)