Outlines of a formalist philosophy of mathematic. - Curry, Haskell B. (1951)
Záznam revízie