關(guān)于我們
書單推薦
新書推薦
|
|
定 價(jià):36 元
- 作者:姚寧遠(yuǎn)
- 出版時(shí)間:2018/11/1
- ISBN:9787309140194
- 出 版 社:復(fù)旦大學(xué)出版社
- 中圖法分類:O141.4
- 頁(yè)碼:
- 紙張:膠版紙
- 版次:
- 開(kāi)本:16開(kāi)
本書從一階邏輯的語(yǔ)法和語(yǔ)義開(kāi)始, 介紹了緊致性定理、LwenheimSkolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。 |
|