Outlines of a Formalist Philosophy of Mathematics (1951)

by Haskell B Curry