1樓：
面向電腦科學的數理邏輯(第二版)
陸鍾萬科學出版社
非常數學化的一本書
數理邏輯（英文影印版）（第2版）
（美）herbert b.enderton人民郵電出版社
除了一階邏輯，還介紹二階邏輯、計算理論
數理邏輯（修訂版·影印版）
a.g.hamilton
清華大學出版社
入門書，講一階系統和計算理論
數理邏輯基礎：一階邏輯與一階理論
陳慕澤;餘俊偉
中國人民大學出版社
如果不是理工科或者邏輯專業，可以看看這本
經典邏輯與非經典邏輯基礎
杜國平高等教育出版社
除了一階邏輯，還講模態邏輯、時態邏輯等非經典邏輯這些書china-pub上都有賣的
如果再簡單點，任何計算機專業的離散數學都會講些數理邏輯和集合論，比較簡單，可以以此為基礎，再補充些一階系統的知識，基本就夠用了
以後不管是向模態邏輯、模型論、集合論、計算理論方向發展都有一個基礎了
2樓：匿名使用者
書店有專門的介紹，要買帶講解的。
想自學數理邏輯 要有怎樣的基礎才行啊
3樓：艾楊揚
數理邏輯有很多定義性的東西，跟集合論、數電、形式邏輯比較接近，可以先看看這些書。數理邏輯本身不是很難，但是有很多與其他數學學科不同的概念和定義，自學還是蠻枯燥的，要有心理準備。
能不能推薦一下學習數理邏輯的書籍
4樓：匿名使用者
基礎入門建議用：陳幕澤的《數理邏輯基礎-一階邏輯與一階理論》，杜國平的《經典與非經典邏輯基礎》
挑戰難度建議用：石純一的《數理邏輯與集合論》，耿素雲的《離散數學》，中國郵電出版的《數理邏輯與歸結原理》
想學習邏輯學,不知道看什麼書好?
5樓：全金屬
《邏輯學》書店有買
哇，七年前的答案，那個時候還是初中生。
修改一下答案，應該看《離散數學》。
6樓：匿名使用者
作為學問的邏輯和普通人用得上的作為工具的邏輯是不一樣的。
就像作為學問的數學（如哥德**猜想、四色定理、費爾瑪大定理等等）與普通人作為工具的數學（算術、初等代數、平面幾何等）是不一樣的。
如果你對邏輯「學問」感興趣，就不能滿足於普通邏輯，如果你只是想說話、寫文章邏輯性強一點，那麼金嶽霖的《形式邏輯》中闡述的邏輯原理也很管用，但是那本書中的好多例子很陳舊。
我想自學法律。。怎麼開始，我想自學法律，該如何開始
法學是一門很深奧的學科，也是很有前途的學科，既然想學法律，依我個人建議 應該從基礎學起，比如 法理學 中國憲法 民法 刑法 等等如果想考證書，不妨參加全國司法考試，通過後可以獲得法律從業資格證，可以從事律師，法律顧問方向的職業。具體可以參考歷年司法考試大綱。裡面有學習法律需要的所有課目！司法考試 萬...
我想自學廚藝，如何下手？自學廚師要怎麼學呢？？
先做點簡單的菜，做菜不是一天兩天就能會的，常做就會了。西餐就算了，清淨點乾淨點有文化的小館子吧。太豪華的話也沒意思，顯得你有禮貌夠紳士有品位就好了，女孩兒如果不喜歡你的話 請吃什麼都沒用。從簡單的做起 例如煎蛋也可以，做重要的是心意！婚前就學會炒菜做飯，婚後這些活可就是你的了！這是規律，兄弟你可要相...
我想買點果樹苗，怎麼購買,我想購買水果樹苗，在哪裡有得購買呢？
請問你是種柑橘還是香橙還是別的什麼果樹，不同果樹種的要求不一樣哦，但是你都可以在澤優進苗種，簡陽的澤優農牧是十分出名的果樹苗基地，那兒的品質好。你要什麼果樹苗？梨樹苗 桃樹苗 蘋果苗 櫻桃苗 核桃苗 李子苗 棗樹苗 杏樹苗 花椒苗 無花果苗 我想買水果苗，在 品種比較多，我要買七至八個品種。根據路程...