Equality between functionals (1975)

by H Friedman
Venue:Logic Colloquium