名古屋大学附属図書館




1

Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie

von A. Heyting. -- Springer, 1934. -- (Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 3, Heft 4).