共 50 条
- [21] Formalising foundations of mathematics [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (04) : 883 - 911
- [22] Univalent Foundations of Mathematics [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011, 2011, 6642 : 4 - 4
- [25] FOUNDATIONS AS A BRANCH OF MATHEMATICS [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1972, 1 (3-4) : 349 - 358