數理邏輯入門書推薦

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

2、《經典邏輯與非經典邏輯基礎》。作者：杜國平。內容簡介：邏輯是人類智能的核心。《經典邏輯與非經典邏輯基礎》作者結合自己的研究成果比較系統地介紹了現代邏輯學的基本內容；

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