1樓：阿平
也算是學了一點logic了，來答一波！
之前有位答主其實答得挺全的，我現在還是入門，之後可能會更新。
Computation theory
Computability: An Introduction To Recursive Function Theory(Cutland)
這本書感覺不是特別好，是我們教材。但由於我選了這門課所以就沒有另外問其他教材。
Mathematical logic(general)
下面都是Steel老爺爺推薦的，undergraduate level的
A mathematical introduction to logic (Herbert B. Enderton)（我看的就是這本，我覺得挺不錯的）
Computability and Logic(boolos/jeffrey)
Introduction to Metamathematics(Kleene)
Kleene是大佬！不過steel老爺爺說他還有另一本教材，寫得不大好。
Set theory我只在Topology(James Munkres)裡面學過一點，所以答不了。不過我覺得Munkres第一章挺全的了，做完習題應該差不多。
Model theory我沒學過。(;)
2樓：
作為邏輯學的學生，教材用的就是A.G.Hamilton的《Logic for mathematicians》，以及Elliott Mendelson的《Introduction to Mathematical Logic》 數理邏輯作為比較基礎的科目，最好還是要做一些題的
數理邏輯裡的遞迴函式是什麼？
你需要學習遞迴論。最最簡單和入門的一本書 https 有老版中文版。 維洛逐風 如果乙個函式是由三個基本函式 零函式，後繼函式，對映函式 通過三種操作 替換，原始遞迴，極小化 獲得的，稱該函式是遞迴的 Htedsv 邏輯 邏輯 作為程式語言的抽象，可以看成乙個平面而沒有層次的 描述 對於可計算理論的...
數理邏輯和一般所謂的邏輯到底有什麼區別？
一般的邏輯，就是邏輯。邏輯一詞和科學一詞類似，都是關於某種事物的系統的學問，但二者的區別在於科學一般用於形容關於自然界中的事物的學問，而邏輯則多用於形容關於人的思維規律，特別是思維的形式規律的學問。數理邏輯，是關於形式邏輯和謂詞邏輯的邏輯，因為邏輯是關於思維規律，因此邏輯的邏輯也可以用邏輯的形容，當...
要學好數理邏輯需要學多少純數學的知識？
已登出 先不說學到後面會如何，就入門階段，數理邏輯需要的唯一數學基礎就是coding，或者說把現實中的任何數學物件 比如代數結構 或者非數學物件 白紙黑字的字串 編碼的知識。為什麼呢？數理邏輯最開始接觸的物件就兩種，一種是兩算，也就是經典命題 謂詞邏輯的語法和語義，另外就是可計算理論裡的部分遞迴函式...