我去問楊金穆老師，他建議讀van Dalen(1)當做初步教材，我之前有看過Monk(2)也不錯，不過內容比較多，應該是讀不完的。
van Dalen好像絕版了，但我有借出，看看有興趣的同學要不要印一印習題來寫寫看？
然後如果想買的話，amazon上面定價是USD49.95，最近特價是USD34.49可以考慮。
(1)Dirk van Dalen. Logic and Structure, 4th ed. Springer-Verlag. Germany:Berlin, 2004.
(2)J.D. Monk. Mathematical Logic. Springer-Verlag. Germany:Berlin, 1974.
--
"A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal Turing Machines."
－－Alan Turing
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.229.45.36