Equality between functionals, Logic Colloquium '73 (1975)

by H Friedman
Venue:Lecture Notes in Computer Science 453