Uniformly reflexive structures: on the nature of Gödelizations and relative computability (1969)

by E G Wagner
Venue:Trans. Amer. Math. Soc