Equality between functionals, Logic Colloquium 1972-73 (1975)

by Harvey Friedman
Venue:Lecture Notes in Mathematics