树和偏序理论的模型论研究
【作 者】傅莺莺著
【形态项】 182
【出版项】 北京：中国经济出版社 , 2015.08
【ISBN号】978-7-5136-3910-1
【中图法分类号】O141.4
【原书定价】48.00
【主题词】模型论-研究
【参考文献格式】 傅莺莺著. 树和偏序理论的模型论研究. 北京：中国经济出版社, 2015.08.
内容提要:
本书主要介绍树和偏序理论模型论研究的最新成果，包括带根节点的有向树、无向树理论，以及有最小元的树形偏序理论的量词消去及相关模型论性质。全书共分六章。第一章介绍一阶逻辑的预备知识；第二章介绍量词消去的主要方法与结果；第三章给出了完全二叉树等特殊理论量词消去的新证明；……
下载地址
树和偏序理论的模型论研究.rar