Recursively enumerable classes and their application to recursive sequences of formal theories. Boykan Pour-El; Marian; Hilary Putnam — 1965 Archiv für mathematische Logik und Grundlagenforschung