Mathematische grundlagenforschung intuitionismus beweistheorie - Heyting, A. (Ergebnisse der Mathematik und Ihrer Grenzgebiete : a series of modern Syrveys in Mathematics ;, 1934)