Title: Constructive formalism
First published: 1951
Subjects: Mathematics, Philosophy
LC classification: QA9 .G678