共 50 条
- [31] On the Constructive Truth and Falsity in Peano Arithmetic LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020), 2020, 11972 : 75 - 84
- [38] Subrecursive degrees and fragments of Peano Arithmetic Archive for Mathematical Logic, 2001, 40 : 365 - 397