00320nam a2200097   4500245007200000100002200072260003600094300002300130490005600153082001300209  aOutlines of a formalist philosophy of mathematicscHaskell B. Curry  aCurry, Haskell B.  aAmsterdambNorth-Holland c1958  avii, 75p.;  22cm.-  aStudies in logic and the foundations of mathematics  a162bCUR