向数理逻辑的初学者推荐一本书《符号逻辑讲义》 收藏回复 119.33.31.* 这本书是武汉大学的徐明教授写的我觉得它是中国人写得最好的一本现代逻辑入门书了,说它好是它讲解非常详细,总是由一些直观的想法开始讲起,然后慢慢过渡到抽象,让你清楚的知道每个定理的发明者是怎么想出来,而且例子很多,最重要是书上的各种定义,定理证明非常严格,