數理邏輯基礎(上冊)

內容介紹本書介紹數理邏輯的基礎知識,包括邏輯演算的基本內容. 這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集合論)的共同基礎.

內容介紹

本書介紹數理邏輯的基礎知識,包括邏輯演算的基本內容. 這些內容構成數理邏輯各個分支(模型論、證明論和構造性數學、遞歸論、集合論)的共同基礎.

相關詞條

熱門詞條

聯絡我們