TY  - BOOK
AU  - Curry, Haskell B.
TI  - Outlines of a formalist philosophy of mathematics
PY  - 1951///]
CY  - Amsterdam : 
PB  - North-Holland, 
KW  - MATEMATICAS
KW  - CIENCIAS MATEMATICAS
ER  -