Equality between functionals revisited (1985)

by R Statman
Venue:In Harvey Friedman’s Research on the Foundations of Mathematics