1、《數理邏輯基礎之一階邏輯與一階理論》。作者:陳幕澤。内容簡介:數理邏輯入門推薦教材,書中語言簡單易懂,将抽象的數理邏輯具象化,深受讀者喜愛;
2、《經典邏輯與非經典邏輯基礎》。作者:杜國平。内容簡介:邏輯是人類智能的核心。《經典邏輯與非經典邏輯基礎》作者結合自己的研究成果比較系統地介紹了現代邏輯學的基本内容;
3、《數理邏輯與集合論》。作者:楊明、王宏。内容簡介:本書講述了題邏輯的基本概念、命題邏輯的等值和推理演算、命題邏輯的公理化等多方面内容,翔實可靠。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!