……以及 Boolos、Burgess 和 Jeffrey 合著的《Computability and Logic》。http://www.amazon.com/Computability-Logic-George-S-Boolos/dp... 另一本讲命题逻辑和谓词逻辑基础证明（nuts and bolts proofs）的极好书籍是 E. J. Lemmon 写的《Beginning Logic》。http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... 还有一本收录现代逻辑史一手文献的优秀文集是《From Frege to Godel...》，由 Jean……
…and Logic by Boolos, Burgess and Jeffrey. http://www.amazon.com/Computability-Logic-George-S-Boolos/dp... Another very good book on nuts and bolts proofs in both propositional and predicate logic is Beginning Logic by E. J. Lemmon. http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... And a great collection of primary texts covering the history of modern logic is From Frege to Godel..., edited by Jean…
I can recommend E.J. Lemmon's Beginning Logic as a first book. It also contains an appendix with a list of important logic books and brief description of them. I'm curious to know whether a more recent, equally well-done, list exists.
相关补充：E.J. Lemmon 在他的《Beginning Logic》一书中列出了一些重要的逻辑学书籍，并表示 Church 的《Introduction to Mathematical logic》第 0 章“值得‘所有’哲学家读上好几遍”。
Related: E.J. Lemmon, in his book Beginning Logic, lists some important logic books and says that Chapter 0 of Church's Introduction to Mathematical logic ``deserves to be read several times by /all/ philosophers''.
……以及 Boolos、Burgess 和 Jeffrey 合著的《Computability and Logic》。http://www.amazon.com/Computability-Logic-George-S-Boolos/dp... 另一本讲命题逻辑和谓词逻辑基础证明（nuts and bolts proofs）的极好书籍是 E. J. Lemmon 写的《Beginning Logic》。http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... 还有一本收录现代逻辑史一手文献的优秀文集是《From Frege to Godel...》，由 Jean……
…and Logic by Boolos, Burgess and Jeffrey. http://www.amazon.com/Computability-Logic-George-S-Boolos/dp... Another very good book on nuts and bolts proofs in both propositional and predicate logic is Beginning Logic by E. J. Lemmon. http://www.amazon.com/Beginning-Logic-E-J-Lemmon/dp/09151445... And a great collection of primary texts covering the history of modern logic is From Frege to Godel..., edited by Jean…
入门书我推荐 E.J. Lemmon 的《Beginning Logic》。它附录里还列出了一份重要逻辑学书单及简要介绍。我挺好奇现在有没有更新、同样出色的类似书单。
I can recommend E.J. Lemmon's Beginning Logic as a first book. It also contains an appendix with a list of important logic books and brief description of them. I'm curious to know whether a more recent, equally well-done, list exists.
+++强烈推荐 Lemmon 的《Beginning Logic》。里面的例子/练习题都很棒。
+++Beginning Logic by Lemmon. Great examples/problems to work on.
相关补充：E.J. Lemmon 在他的《Beginning Logic》一书中列出了一些重要的逻辑学书籍，并表示 Church 的《Introduction to Mathematical logic》第 0 章“值得‘所有’哲学家读上好几遍”。
Related: E.J. Lemmon, in his book Beginning Logic, lists some important logic books and says that Chapter 0 of Church's Introduction to Mathematical logic ``deserves to be read several times by /all/ philosophers''.