Haskell Curry · 2 obras en el catálogoObrasFoundations of Combinatory LogicOutlines of a Formalist Philosophy of Mathematics