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