01117nam a2200301 i 450099100121647970753620020507185407.0960830s1951 ne ||| | eng 072042206Xb10816859-39ule_instLE01308821ExLDip.to Matematicaeng510.1AMS 00A30Curry, Haskell B.557Outlines of a formalist philosophy of mathematics /Haskell B. CurryAmsterdam :North-Holland,[c1951]vii, 75 p. ;23 cm.Studies in logic and the foundations of mathematics, ISSN 0049237XIncludes bibliographical referencesMathematics-philosophyPhilosophy of mathematics.b1081685923-02-1728-06-02991001216479707536LE013 00A CUR11 (1970)12013000057804le013-E0.00-l- 01010.i1092353628-06-02Outlines of a formalist philosophy of mathematics107808UNISALENTOle01301-01-96ma -engne 01