TY  - BOOK
AU  - Curry,Haskell B.
TI  - Outlines of a formalist philosophy of mathematics / 
PY  - 1970///
CY  - Amsterdam, London : 
PB  - North-Holland Publishing Company
KW  - Matemáticas
ER  -