Publisher
Springer Science and Business Media LLC
Reference10 articles.
1. Ackermann, W.: Zur Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann.117, 162?194 (1940).
2. Gentzen, G.: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Math. Ann.119, 140?161 (1943/1944).
3. Hilbert, D., andP. Bernays: Grundlagen der Mathematik, vol. II. Berlin 1939.
4. Kleene, S. C.: Introduction to Metamathematics. New York 1952.
5. Kreisel, G.: On the interpretation of non-finitist proofs II. J. Symbolic Logic17, 43?58 (1952).
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献