TY  - BOOK
AU  - Curry Haskell B
TI  - Outlines of a formalist philosophy of mathematics
T2  - Studies in logic and the foundations of mathematics
U1  - R:(B), J1 
PY  - 1951///
CY  - London
PB  - North Hooland Publihing     
ER  -