本課程是以學習初階邏輯(First-order Logic) 為目標。自從十九世紀末德國哲學家弗雷格(G. Frege) 認識到數學基礎的問題開始,他認為應該替數學找到一個更堅實的基礎, ...
確定! 回上一頁