關(guān)于我們
書單推薦
新書推薦

初等模型論(邏輯與形而上學(xué)教科書系列)

初等模型論(邏輯與形而上學(xué)教科書系列)

定  價:36 元

        

  • 作者:姚寧遠
  • 出版時間:2018/11/1
  • ISBN:9787309140194
  • 出 版 社:復(fù)旦大學(xué)出版社
  • 中圖法分類:O141.4 
  • 頁碼:
  • 紙張:膠版紙
  • 版次:
  • 開本:16開
9
7
1
8
4
7
0
3
1
0
9
9
4
本書從一階邏輯的語法和語義開始, 介紹了緊致性定理、LwenheimSkolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容