00471     2200157   4500001002100000008004100021035002000062245006700082100002100149260005400170300003500224084001400259082001000273650001600283990001400299INLIS000000000008514                                   Ind    a0010-1118008514  aOutlines of a formalist philosophy of mathematicscCURRY, H.B.  aHaskell B. Curry  aAmsterdambNorth Holland Publishing Companyc1951  a75 p. ; 21 cm.c75 p. ; 21 cm.  a510.1CURo  a510.1  aMATHEMATICS  amfn-10293