《數理邏輯導引》是2017年科學出版社出版的圖書,作者是馮琦。
基本介紹
- 中文名:數理邏輯導引
- 作者:馮琦
- 出版社:科學出版社
- 出版時間:2017年9月
- ISBN:9787030545794
圖書簡介
圖書目錄
- 《現代數學基礎叢書》序
- 序言
- 第0章引言
- 第1章命題邏輯
- 第2章一階語言和一階結構
- 第3章一階結構之同構、同樣與同質
- 第4章邏輯推理與邏輯結論
- 第5章同質放大模型
- 第6章完全性與模型完全性
- 第7章可數模型
- 第8章代數封閉域理論
- 第9章實封閉域理論
- 第10章有理數加法算術理論
- 第11章整數加法算術理論
- 第12章自然數序理論與有序加法理論
- 第13章自然數算術理論
- 索引
- 《現代數學基礎叢書》已出版書目