共 50 条
- [3] CATEGORICAL FOUNDATIONS OF MATHEMATICS Or how to provide foundations for abstract mathematics REVIEW OF SYMBOLIC LOGIC, 2013, 6 (01): : 51 - 75
- [4] HOW RECENT WORK IN MATHEMATICAL LOGIC RELATES TO THE FOUNDATIONS OF MATHEMATICS MATHEMATICAL INTELLIGENCER, 1985, 7 (04): : 27 - 35