TY  - BOOK
AU  - Curry,Haskell B
TI  - Outlines of a formalist philosophy of mathematics
SN  - 072042206X
U1  - 510.1 23
PY  - 1951/// [reprinting 1958]
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Mathematics
KW  - Philosophy
N1  - Includes bibliographical references
ER  -