1樓：
面向電腦科學的數理邏輯(第二版)
陸鍾萬科學出版社
非常數學化的一本書
數理邏輯（英文影印版）（第2版）
（美）herbert b.enderton人民郵電出版社
除了一階邏輯，還介紹二階邏輯、計算理論
數理邏輯（修訂版·影印版）
a.g.hamilton
清華大學出版社
入門書，講一階系統和計算理論
數理邏輯基礎：一階邏輯與一階理論
陳慕澤;餘俊偉
中國人民大學出版社
如果不是理工科或者邏輯專業，可以看看這本
經典邏輯與非經典邏輯基礎
杜國平高等教育出版社
除了一階邏輯，還講模態邏輯、時態邏輯等非經典邏輯這些書china-pub上都有賣的
如果再簡單點，任何計算機專業的離散數學都會講些數理邏輯和集合論，比較簡單，可以以此為基礎，再補充些一階系統的知識，基本就夠用了
以後不管是向模態邏輯、模型論、集合論、計算理論方向發展都有一個基礎了
2樓：匿名使用者
書店有專門的介紹，要買帶講解的。
想自學數理邏輯 要有怎樣的基礎才行啊
3樓：艾楊揚
數理邏輯有很多定義性的東西，跟集合論、數電、形式邏輯比較接近，可以先看看這些書。數理邏輯本身不是很難，但是有很多與其他數學學科不同的概念和定義，自學還是蠻枯燥的，要有心理準備。
能不能推薦一下學習數理邏輯的書籍
4樓：匿名使用者
基礎入門建議用：陳幕澤的《數理邏輯基礎-一階邏輯與一階理論》，杜國平的《經典與非經典邏輯基礎》
挑戰難度建議用：石純一的《數理邏輯與集合論》，耿素雲的《離散數學》，中國郵電出版的《數理邏輯與歸結原理》
想學習邏輯學,不知道看什麼書好?
5樓：全金屬
《邏輯學》書店有買
哇，七年前的答案，那個時候還是初中生。
修改一下答案，應該看《離散數學》。
6樓：匿名使用者
作為學問的邏輯和普通人用得上的作為工具的邏輯是不一樣的。
就像作為學問的數學（如哥德**猜想、四色定理、費爾瑪大定理等等）與普通人作為工具的數學（算術、初等代數、平面幾何等）是不一樣的。
如果你對邏輯“學問”感興趣，就不能滿足於普通邏輯，如果你只是想說話、寫文章邏輯性強一點，那麼金嶽霖的《形式邏輯》中闡述的邏輯原理也很管用，但是那本書中的好多例子很陳舊。