Outlines of a formalist philosophy of mathematics by Haskell B. Curry | Menrva Books