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

by Uniformly
Venue:Trans. Amer. Math. Soc