1樓：
面向電腦科學的數理邏輯(第二版)
陸鍾萬科學出版社
非常數學化的一本書
數理邏輯（英文影印版）（第2版）
（美）herbert b.enderton人民郵電出版社
除了一階邏輯，還介紹二階邏輯、計算理論
數理邏輯（修訂版·影印版）
a.g.hamilton
清華大學出版社
入門書，講一階系統和計算理論
數理邏輯基礎：一階邏輯與一階理論
陳慕澤;餘俊偉
中國人民大學出版社
如果不是理工科或者邏輯專業，可以看看這本
經典邏輯與非經典邏輯基礎
杜國平高等教育出版社
除了一階邏輯，還講模態邏輯、時態邏輯等非經典邏輯這些書china-pub上都有賣的
如果再簡單點，任何計算機專業的離散數學都會講些數理邏輯和集合論，比較簡單，可以以此為基礎，再補充些一階系統的知識，基本就夠用了
以後不管是向模態邏輯、模型論、集合論、計算理論方向發展都有一個基礎了
2樓：匿名使用者
書店有專門的介紹，要買帶講解的。
想自學數理邏輯 要有怎樣的基礎才行啊
3樓：艾楊揚
數理邏輯有很多定義性的東西，跟集合論、數電、形式邏輯比較接近，可以先看看這些書。數理邏輯本身不是很難，但是有很多與其他數學學科不同的概念和定義，自學還是蠻枯燥的，要有心理準備。
能不能推薦一下學習數理邏輯的書籍
4樓：匿名使用者
基礎入門建議用：陳幕澤的《數理邏輯基礎-一階邏輯與一階理論》，杜國平的《經典與非經典邏輯基礎》
挑戰難度建議用：石純一的《數理邏輯與集合論》，耿素雲的《離散數學》，中國郵電出版的《數理邏輯與歸結原理》
想學習邏輯學,不知道看什麼書好?
5樓：全金屬
《邏輯學》書店有買
哇，七年前的答案，那個時候還是初中生。
修改一下答案，應該看《離散數學》。
6樓：匿名使用者
作為學問的邏輯和普通人用得上的作為工具的邏輯是不一樣的。
就像作為學問的數學（如哥德**猜想、四色定理、費爾瑪大定理等等）與普通人作為工具的數學（算術、初等代數、平面幾何等）是不一樣的。
如果你對邏輯“學問”感興趣，就不能滿足於普通邏輯，如果你只是想說話、寫文章邏輯性強一點，那麼金嶽霖的《形式邏輯》中闡述的邏輯原理也很管用，但是那本書中的好多例子很陳舊。
我想自學英語，我想自學英語怎麼辦？怎麼學？
1.像我這樣在。com上不停重新整理英語問題2.些英語的 來聽，我在家裡就下了一個美國人教英語和一個美國人教西班牙語，全部標準美英。而且其內容不像我們的教育那樣枯燥，是富含有趣的故事，情景，還能學到許多俚語 粗口 習慣用語等等。3.在晚上找外國朋友。我在許多國外的交友網上都有blog，然後就跟他們聯...
我想自學導遊應該怎麼下手，我想自考導遊，可不知道該怎麼辦？請問一下我該從何下手啊？
導遊要對當地的旅遊景區之類的要懂 比如關於景區的傳說，還有這個景區 好啊 這個需要了解很多東西的 我想自考導遊，可不知道該怎麼辦？請問一下我該從何下手啊？ 手機使用者 你到當地旅遊局的培訓中心諮詢，補習班補習資料那裡都可以提供。相信我吧，我在旅遊局呆過。 請問你是要考國內還是國際的導遊 我想考個導遊...
我想自學機械製圖應該怎麼做，請問自學機械製圖需要什麼書？
畫法幾何與機械製圖 是最基本的,但應該有機械基礎知識,否則即便你學會了製圖,也沒有什麼大的用處.另外,還有其他相關機械基礎課程也需要了解.比如 機加工工藝 零件設計等. 辦公設計好幫手 如果你現在的工作跟機械無關，建議你不要學它，如果你工作中確實用到這個，除了要學好製圖外，機械方面的知識也不能少。總...