论文信息 - On n-quantifier induction - 字舞流文

On n-quantifier induction

Charles D. Parsons | C. Parsons

[1] Kurt Schütte,et al. Simultane Rekursionen in der Theorie der Funktionale endlicher Typen , 1971 .

[2] Akiko Kino,et al. Intuitionism and Proof Theory , 1970 .

[3] W. A. Howard,et al. Functional interpretation of bar induction by bar recursion , 1968 .

[4] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[5] Frits Staal,et al. Logic, Methodology and Philosophy of Science Iii , 1968 .

[6] G. Kreisel. On the concepts of completeness and interpretation of formal systems , 1952 .