作者annunaki (I am the way.)
看板b95902xxx
标题[讨论] 关於读书会
时间Fri Jul 21 23:27:07 2006
我去问杨金穆老师，他建议读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