TY  - BOOK
AU  - Curry, Haskell B.
TI  - Outlines of a formalist philosophy of mathematics
T2  - Studies in logic and the foundations of mathematics
U1  - 162 
PY  - 1958///
CY  - Amsterdam
PB  - North-Holland 
ER  -