Function theory in an axiom-free equation calculus (1945)

by Reuben Goodstein
Venue:Proceedings of the London Mathematical Society