《模態(tài)邏輯》：模態(tài)邏輯是研究可以用模態(tài)語言表述的推理形式的有效性的學問。它是哲學邏輯的基礎，作為一門課程，它是邏輯學專業(yè)的基礎課之一。本講義介紹了句子層次上（命題型的）模態(tài)邏輯最基本的內容。
本講義內容多，知識面廣，定理定義表達嚴謹，例題習題豐富，可作為高等學校邏輯學專業(yè)本科生、研究生教材使用。
《數理邏輯》：數理邏輯是研究可以用數學語言表述的推理形式的有效性的學問。它是全部邏輯的基礎，作為一門課程，它是邏輯學專業(yè)最重要的基礎課。
數理邏輯分兩大部分：句子邏輯和量化邏輯。本講義介紹句子邏輯的基本內容和量化邏輯的基礎————一階邏輯的基本內容。
本講義內容豐富，知識面廣，表達嚴謹，習題例題豐富，可作為高等學校邏輯學專業(yè)本科生、研究生教材使用。
|
