01216nam2-2200373---450-99000322883020331620091110100026.07204-2206-X000322883USA01000322883(ALEPH)000322883USA0100032288320090427d1970----km-y0itay50------baengNL||||||||001yyOutlines of a formalist philosophy of mathematicsHaskell B. Curry...[et. al]L.E.J. Brouwer...[et al.] (Eds.)AmsterdamNorth-Holland1970VII, 75 p.ill.23 cmStudies in logic and the foundations of mathematics130010003345862001Studies in logic and the foundations of mathematics13Matematica510.1HASKELL,B. Curry561577BROUWER,L.E.J.ITsalbcISBD990003228830203316510 SL 132752/CBS51000218727BKSCIRSIAV79020090427USA011152RSIAV79020091110USA011000Outlines of a formalist philosophy of mathematics1013427UNISA