數理邏輯

脫胎北京大學哲學系本科“數理邏輯”課程的講義，針對邏輯學的初學者，尤其是初學邏輯的學生，介紹一階邏輯的最基本的知識和技術，包括一階語言的語形和語義、一階推演系統、一階邏輯的完全性定理等。