Curry, Haskell B.

Outlines of a formalist philosophy of mathematics Haskell B. Curry - Amsterdam North-Holland 1958 - vii, 75p.; 22cm.- - Studies in logic and the foundations of mathematics .

162 / CUR