proof theory好像还是建立在数理逻辑之上。
来源:
露重烟微
于
2024-10-26 08:34:00
[
旧帖
] [
给我悄悄话
] 本文已被阅读:次