Outlines of a formalist philosophy of mathematics
Curry, Haskell B.(Haskell Brooks)
Amsterdam London North-Holland
1970
Originally published, Amsterdam: North-Holland, 1951
bibl p.vii
Mathematics