Equality between Functionals (1975)

by Harvey Friedman
Venue:Logic Colloquium