1. J. Bennett, On Spectra. Ph.D. Thesis, Princeton University, (1962)
2. N. Bourbaki, Éléments de Mathématique; Théorie des Ensembles (Hermann, Paris, 1966)
3. H.B. Enderton, A Mathematical Introduction to Logic (Academic Press, New York, 1972)
4. K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Math. Phys. 38, 173–198 (1931) (Also in English in M. Davis, The Undecidable (Raven Press, Hewlett, 1965), pp. 5–38)
5. A. Grzegorczyk, Some classes of recursive functions. Rozprawy Matematyczne 4, 1–45 (1953)