Outlines of a formalistic philosophy of maths

Curry, H.