树和偏序理论的模型论研究 电子书下载 PDF下载

树和偏序理论的模型论研究
内容简介
《树和偏序理论的模型论研究》主要介绍树和偏序理论模型论研究的最新成果,包括带根节点的有向树、无向树理论,以及有最小元的树形偏序理论的量词消去及相关模型论性质。全书共分六章。第一章介绍一阶逻辑的预备知识;第二章介绍量词消去的主要方法与结果;第三章给出了完全二叉树等特殊理论量词消去的新证明;第四章考察了一般的带根节点的有向树、无向树理论;第五章考察了一般的有最小元的树形偏序理论;第六章介绍了有待继续研究的问题。
同类热门电子书下载更多
Copyright © 2024 by topbester.com.
All Rights Reserved.
沪ICP备14027842号-1