Heyting A

Mathematische grundlagenforschung intuitionismus beweistheorie - Berlin Springer-Verlag 1934 - iv, 73p. cm. - Ergebnisse der mathematik und ihrer grenzgebiete; 4 .

Originally published in 1934

21352

Textual

B13, 113L4