Publisher
Det Kgl. Bibliotek/Royal Danish Library
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TWO (OR THREE) NOTIONS OF FINITISM;The Review of Symbolic Logic;2010-01-20
2. A Free-Variable Theory of Primitive Recursive Arithmetic;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1987
3. Recursivity, sequence recursivity, stack recursivity and semantics of programs;Lecture Notes in Computer Science;1976
4. -arithmetic and transfinite induction;Journal of Symbolic Logic;1972-03
5. εn-Arithmetic;Sets, Models and Recursion Theory;1967