Equality between functionals revisited (1985)

by R Statman
Venue:Friedman's Research on the Foundations of Mathematics