Mathematische grundlagenforschung intuitionismus beweistheorie - Heyting A (Berlin Springer-Verlag, 1934)
Originally published in 1934