Recursively enumerable classes and their application to recursive sequences of formal theories

著者: Marian Boykan Pour‐El, Hilary Putnam - Archive for Mathematical Logic 1965 被引用: 23