proof theory好像還是建立在數理邏輯之上。

所有跟帖： 

• 結果就是數理邏輯，現在都不在數學係，搬到哲學係去了。美國的數學係，三十年前，隻有UCLA有邏輯專業。不知道現在還有沒有。 -蔣聞銘- ♂ (0 bytes) () 10/26/2024 postreply 08:46:04

• 確實感覺邏輯整體都很式微。前幾年我想自學modal logic的時候，連好的教科書都找不到。 -露重煙微- ♀ (0 bytes) () 10/26/2024 postreply 10:16:00