G. Kreisel and Gerald E. Sacks. Metarecursive sets. The journal of symbolic logic, vol. 30 (1965), pp. 318–338.
Author:
Richard A. Platek©right=Copyright © Association for Symbolic Logic 1969
Publication:
Journal of Symbolic Logic
Publisher:
Cambridge University Press
Copyright © 2014, Cambridge University Press