TY  - GEN
AU  - Curry, Haskell B
TI  - Outlines of a Formalist Philosophy of Mathematics
PY  - 1951///
CY  - Amsterdam
PB  - North - Holland Publishing Company
ER  -