1、《數(shù)理邏輯基礎(chǔ)之一階邏輯與一階理論》。作者：陳幕澤。內(nèi)容簡(jiǎn)介：數(shù)理邏輯入門推薦教材，書中語(yǔ)言簡(jiǎn)單易懂，將抽象的數(shù)理邏輯具象化，深受讀者喜愛；

2、《經(jīng)典邏輯與非經(jīng)典邏輯基礎(chǔ)》。作者：杜國(guó)平。內(nèi)容簡(jiǎn)介：邏輯是人類智能的核心。《經(jīng)典邏輯與非經(jīng)典邏輯基礎(chǔ)》作者結(jié)合自己的研究成果比較系統(tǒng)地介紹了現(xiàn)代邏輯學(xué)的基本內(nèi)容；

3、《數(shù)理邏輯與集合論》。作者：楊明、王宏。內(nèi)容簡(jiǎn)介：本書講述了題邏輯的基本概念、命題邏輯的等值和推理演算、命題邏輯的公理化等多方面內(nèi)容，翔實(shí)可靠。