00757nam0-22002531i-450-990001142790403321000114279FED01000114279(Aleph)000114279FED0100011427920000920d1970----km-y0itay50------baengOutlines of a formalist philosophy of mathematicsby Curry H.B.AmsterdamNorth-Holland1970Studies in logic and the foundations of mathematicsCurry,Haskell B.557ITUNINARICAUNIMARCBK990001142790403321C-30-(5811002MA1MA1Outlines of a formalist philosophy of mathematics107808UNINAING01