Elementary Descent Recursion and Proof Theory
暂无分享,去创建一个
[1] K. Brown,et al. Graduate Texts in Mathematics , 1982 .
[2] J. D. Monk,et al. Mathematical Logic , 1976 .
[3] H. E. Rose. Subrecursion: Functions and Hierarchies , 1984 .
[4] H. Friedman,et al. Harvey Friedman's Research on the Foundations of Mathematics , 1985 .
[5] G. Takeuti. Proof Theory , 1975 .
[6] G. Mints,et al. Finite investigations of transfinite derivations , 1978 .
[7] Kurt Schütte. Proof theory , 1977 .
[8] Charles D. Parsons,et al. On n-quantifier induction , 1972, Journal of Symbolic Logic.
[9] William W. Tait,et al. Normal derivability in classical logic , 1968 .