Title: Constructive formalism
First published: 1951
Subjects: Mathematics, Philosophy