proof theory好像還是建立在數理邏輯之上。
來源:
露重煙微
於
2024-10-26 08:34:00
[
舊帖
] [
給我悄悄話
] 本文已被閱讀:次