Equality between functionals (1975)

by Harvey Friedman
Venue:In Proceedings of Logic Colloquium’73, LNM 453