%0 Journal Article
%A Boykan Pour-El
%A Marian
%A Hilary Putnam
%T Recursively enumerable classes and their application to recursive sequences of formal theories.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1965
%P 104-121
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1965__8_137783/
%F AMLG_1965__8_137783