na INLIS000000000008514 Ind 0010-1118008514 Outlines of a formalist philosophy of mathematics CURRY, H.B. Haskell B. Curry Amsterdam North Holland Publishing Company 1951 75 p. ; 21 cm. 75 p. ; 21 cm. 510.1CURo 510.1 MATHEMATICS mfn-10293