Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference6 articles.
1. C. Bernardi,Alcune osservazioni sugli insiemi produttivi e creativi, Bollettino U.M.I. 17-B (1980), pp. 341–355.
2. R. Magari,The diagonalizable algebras,Bollettino U.M.I. 12 (1975), pp. 117–125.
3. F. Montagna,On the algebraization of a Feferman's predicate,Studia, Logica 37 (1978), pp. 221–236.
4. M. B. Pour-El andH. Putnam,Recursively enumerable classes and their application to recursive sequences of formal theories,Archiv für Mathematische Logik und Grundlagenforschung 8 (1965), pp. 104–121.
5. H. Rogers,Theory of recursive functions and effective computability, McGraw Hill, New York 1967.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献