Equality between functionals,” in Logic Colloquium, ser (1975)

by H Friedman
Venue:Springer Lecture Notes