Metarecursive Sets

G. Kreisel, Gerald E. Sacks. Metarecursive Sets. Journal of Symbolic Logic, 30(3):318-338, 1965.

Abstract

Abstract is missing.