Turing Machines and the Spectra of First-Order Formulas

Neil D. Jones, Alan L. Selman. Turing Machines and the Spectra of First-Order Formulas. Journal of Symbolic Logic, 39(1):139-150, 1974.

Abstract

Abstract is missing.