離線I am reading Elliott Mendelson's Introduction to Mathematical Logic in my spare time.
I put the solution, which will be updated from time to time, here:
http://mrnick.sinaman.com/0412808307solution.pdf
Please feel free to make comment.
Errata:
p.36, second 'D1' should be "D2".
p.385, 1.48, fonts of 'B' and the mistyped 'AB' should follow those stand for statement forms.
__________________
Website http://mrnick.sinaman.com
Blog http://theprincipia.blogspot.com
This book is very difficult.
謝謝大家的報告.
i'm not a human being
如果只是用業餘時間閱讀，要精讀這本書並完成大部分習題，可能至少要花一年的時間。
證明論是數理邏輯的一個分支，它將數學證明表達為形式化的數學客體，從而通過數學技術來簡化對他們的分析。
http://zh.wikipedia.org/zh-tw/%E8%AF%81%E6%98%8E%E8%AE%BA
請問咩係形式化的數學客體?
進展如何？讀到哪一部分？看到你習題做到2.11。
工作極忙，停滯了。
Website http://mrnick.sinaman.com
Blog http://theprincipia.blogspot.com
我打算稍後（可能明年）重讀此書，說不定可以一起讀。