Title: Outlines of a formalist philosophy of mathematics
First published: 1951
Subjects: Mathematics, Philosophy
LC classification: QA9 .C86 1970