Curry, Haskell B <br/><br/>
Outlines of a Formalist Philosophy of Mathematics 
Haskell B. Curry 
 - Amsterdam  North - Holland Publishing Company  1951 
 - 76 p  22 cm 
 - Studies in Logic and the Foundations of Mathematics .