Latkin Iv 1
1.
THE RECOGNITION COMPLEXITY OF DECIDABLE THEORIES
1