羅裡波編著的《模型論及其在計算機科學中的應用》是為了給數學繫和計算機科學繫的本科生和研究生開設模型論課而寫的，它的主要內容是模型論的基本原理和它在計算機科學中的計算復雜度理論和機器證明等方面的應用。本書共二十章節，內容包括模型論的發生與發展、關於集合論的準備知識、模型論的形式語言、模型的基本性質、緊致性定理與LST定理等。本書給供相關人員參考閱讀。

第一章　模型論的發生與發展
　1.1　模型論在科學發展中的地位
　1.2　模型論的發展概述
　1.3　模型論與計算機科學的關繫
　1.4　模型論研究的方法與特點
　1.5　語法與語義
第二章　關於集合論的準備知識
　2.1　完整的集合論公理繫統
　2.2　有限集與無限集
　2.3　集合之間元素個數的比較
　2.4　選擇公理和可良序化定理
　2.5　基數的定義和性質
　2.6　序數定義和超限歸納過程
　2.7　可數集的性質
　2.8　序數，基數的運算
　2.9　實數的不可數性
　2.10　連續統假設簡介
　練習題
第三章　模型論的形式語言
　3.1　形式邏輯中的命題演算
　3.2　一階邏輯簡介
　3.3　命題演算的模型論的補充性質
　3.4　模型論的形式語言
　3.5　模型論的式子和它們的構成
　3.6　模型論的式子推演
　練習題
第四章　模型的基本性質
　4.1　形式語言的解釋與模型
　4.2　模型的同構，同態，子模型，擴張，膨脹，歸約
　4.3　式子的代入與驗證
　4.4　理論，公理，定理和模型的理論
　4.5　語言和理論的模型數
　4.6　模型的同構嵌入
　4.7　模型的初等等價
　練習題
第五章　緊致性定理與LST定理
　5.1　從理論構造模型
　5.2　緊致性定理
　5.3　緊致性定理的應用
　5.4　模型的圖像
　5.5　模型論的內語言與外語言
　練習題
第六章　初等子模型與模型**的理論
　6.1　初等子模型
　6.2　初等圖像和它的應用
　6.3　強LST定理
　6.4　**的理論
　6.5　模型**的理論
　練習題
第七章　初等鏈的構造與應用
　7.1　模型的鏈的構造
　7.2　模型的鏈的並
　7.3　初等鏈定理
　7.4　式子集的實現與省略
　練習題
第八章　保持性定理
　8.1　研究保持性定理的意義和方法
　8.2　子模型的保持性定理
　8.3　模型鏈的並保持性定理
　8.4　同態像的保持性定理
　8.5　保持性的部分表
　練習題
第九章　可數語言的幾種特殊模型
　9.1　素模型與原子模型
　9.2　齊次模型
　9.3　可數飽和模型
　練習題
第十章　一些具體的模型和邏輯性質
　10.1　模型與語言的關繫
　10.2　偏序、全序集模型
　10.3　布爾代數模型
　10.4　群，環，域繫列的模型
　10.5　其他繫列的模型
　練習題
第十一章　量詞消去法和可判定的理論
　11.1　量詞消去法的重要性
　11.2　量詞消去法的一般步驟
　11.3　無端稠密有序集的量詞消去法
　11.4　整數加運算的量詞消去法
　11.5　代數模型的模型數
　11.6　布爾代數模型的模型數
　11.7　W-範疇的可數**的理論
　11.8　範疇性研究介紹
　練習題
第十二章　不可判定的理論
　12.1　自然數理論繫統□□的不可判定性
　12.2　有理數加法、乘法繫統的不可判定性
　12.3　自由群T-理論的不可判定性
　練習題
第十三章　無原子布爾代數理論的計算復雜度
　13.1　一個繫統的定理判定的計算復雜度
　13.2　無原子布爾代數的公理繫統
　13.3　量詞消去法的作用與過程
　13.4　無原子布爾代數的性質
　13.5　無原子布爾代數的量詞消去法
　13.6　無原子布爾代數的計算復雜度
第十四章　可換群定理判定的計算復雜度
　14.1　可換群的理論和結構
　14.2　模型的Ehrenfeucht博弈
　14.3　群Dp博弈的準備工作
　14.4　群Dp的Ferrente和：Rackoff博弈
　14.5　群Dp的計算復雜度上界
　14.6　可換群理論的計算復雜度
第十五章　對數論模型的研究
　15.1　廣義中國剩餘定理
　15.2　□的w-和模型
　15.3　孿生準素數問題
　15.4　對Goldbach猜想和孿生素數問題的研究
第十六章　有限模型論的保持性定理
　16.1　模型的初等性質
　16.2　保持性定理
第十七章　集合論的可數模型
　17.1　實數的相對性
　17.2　集合論的可數模型
　17.3　ZFG模型中元素的不可區分群組
　17.4　無限小數的不確定性
　17.5　康托爾實數的局限性
　17.6　計算機科學與無限概念的關繫
第十八章　非良基集合論模型悖論
　18.1　集合論的新悖論
　18.2　良基性定理與非良基的集合論模型
　18.3　非良基的集合論模型的**化
　18.4　非良基集合論模型中的良序集與類
　18.5　結論
第十九章　可數多個單元關繫的研究
　19.1　可數多個獨立單元關繫繫統
　19.2　可數多個單元關繫的**理論
第二十章　多項式復雜度的計算問題
　20.1　一些引理
　20.2　二次模方程的解
參考文獻
索引