內容簡介
本書是代數模型論的一本人門書。**章介紹代數模型論所需要的模型論的基礎知識。第二章至第九章分別介紹代數模型論各主要領域在近二三十年來國外的主要研究成果和研究方法,其中包括代數閉域、實閉域、線性序和偏序結構的模型論等。*後一章介紹可計算模型論。本書起點較低,具備數學繫二、三年級知識的讀者即可閱讀,並具自完備性,以方便閱讀。本書終點較高,可引導具有數理邏輯基礎知識的讀者進入國際上的研究前沿。各章末均附有習題,以助讀者深入理解本書內容。
本書可供高等院校數學、邏輯、哲學以及計算機科學等專業高年級本科生、研究生、教師和相關的科學研究工作者參考,也可作為相關專業研究生的教科書。