TY  - BOOK
AU  - Curry,Haskell B.
ED  - North-Holland
TI  - Outlines of a formalist philosophy of mathematics
T2  - Studies in logic and the foundations of mathematics
SN  - 072042206X
U1  - 510.1 23
PY  - 1970///.
CY  - Amsterdam: 
PB  - North-Holland Pub. Co., 
KW  - Mathematics
KW  - Philosophy
N1  - Includes bibliographical references
ER  -