Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Ergebnisse der Mathematik und ihrer Grenzgebiete (1934)

by A Heyting