Elementary Formal Systems for Hyperarithmetical Relations
-
Published:1978
Issue:1-6
Volume:24
Page:25-30
-
ISSN:0044-3050
-
Container-title:Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
-
language:de
-
Short-container-title:MLQ - Math. Log. Quart.
Reference4 articles.
1. Computability and Unsolvability. McGraw Hill 1958.
2. Theory of Recursive Functions and Effective Computability. McGraw-Hill 1967.
3. Theory of Formal Systems. Revised edition, Princeton University Press 1961.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A kripke-kleene semantics for logic programs*;The Journal of Logic Programming;1985-12
2. Bibliography;Fundamentals of Generalized Recursion Theory;1981