Outlines of a formalist philosophy of mathematics. - Curry Haskell B (London North Hooland Publihing, 1951)