Outlines of a formalist philosophy of mathematics - 351193 Curry, Haskell Brooks (Amsterdam : North-Holland, 1970)
41