Title: Mathematische Grundlagenforschung
First published: 1934
Subjects: Intuitionistic mathematics, Philosophy, Proof theory, Mathematics
LC classification: QA9 .H48