共 50 条
- [41] Subrecursive degrees and fragments of Peano Arithmetic Archive for Mathematical Logic, 2001, 40 : 365 - 397
- [42] REFLECTION PRINCIPLES IN FRAGMENTS OF PEANO ARITHMETIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (04): : 317 - 333