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

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

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

定　　價(jià)：36 元

        

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