Marian Boykan Pour-El Effectively Extensible Theories. 56-68 1968 33 J. Symb. Log. 1 db/journals/jsyml/jsyml33.html#Pour-El68