出版社:復旦大學出版社 ISBN:9787309140194 商品編碼:10028934313919 包裝:平裝 出版時間:2018-11-01 代碼:36 作者:姚寧遠
"基本信息 書名:初等模型論 定價 作者:姚寧遠 著 出版社:復旦大學出版社 出版日期:2018-11-01 ISBN:9787309140194 字數: 頁碼: 版次:1 裝幀:平裝 開本:16開 商品重量: 編輯推薦
內容提要
本書從一階邏輯的語法和語義開始, 介紹了緊致性定理、Lwenheim–Skolem定理、Tarski準則、量詞消去、飽和模型、齊次模型、Omega-穩定理論、不可區分序列以及Morley定理等內容。
目錄
作者介紹
序言
" |