TY  - BOOK
AU  - Curry , H B
TI  - Outlines of a formalist philosophy of mathematics
PY  - 1951///
CY  - AMSTERDAM
PB  - NORTH-HOLLAND PUBLISHING COMPANY
KW  - MATHEMATICS
ER  -