看是哪部分的现代数学。Set theory, model theory, recursion theory和proof theo

来源: 于 2024-10-26 08:34:00 [旧帖] [给我悄悄话] 本文已被阅读：次