作者：姚宁远著
出版社： 复旦大学出版社
CIP号：2018241219
书号：978-7-309-14019-4
出版地：上海
出版时间：2018.1
定价：￥36
本书从一阶逻辑的语法和语义开始， 介绍了紧致性定理、Lwenheim–Skolem定理、Tarski准则、量词消去、饱和模型、齐次模型、Omega-稳定理论、不可区分序列以及Morley定理等内容。