共 50 条
- [2] Finite sets and infinite sets in weak intuitionistic arithmetic Archive for Mathematical Logic, 2020, 59 : 607 - 657
- [5] Infinite descent or infinite ascent? 3RD INT CONF ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS, AND APPLICAT/4TH INT CONF ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 1, 2006, : 265 - 273