……当时觉得挺有趣的数学冷知识。这大概是第一本让我对计算机编程产生浓厚兴趣的书。它基本上就是一本关于数学和计算机的动手实践书。W.V. Quine 的《Methods of Logic》[3]——激发了我对数理逻辑和符号计算的兴趣。整本书我没读完，但读的内容足够让我在 HP-48 GX 图形计算器上写个程序来化简……
…at time, interesting mathematical trivia. This is probably the first book that got me seriously interested in computer programming. This was basically an activity book for mathematics and computers. Methods of Logic by W.V. Quine[3] - This stimulated my interest in symbolic logic and symbolic computation. I didn't read the whole book but I read enough to write a program on my HP-48 GX graphicing calculator to simplify…
为了让逻辑学学习书单更完整，我推荐以下几本：《Mathematical Logic》、《Set Theory and its Logic》、《Methods of Logic》。这三本全都是 Willard van Orman Quine 写的。如果你对现代逻辑学有所了解，这个名字你应该如雷贯耳。一本更浅显易懂的教材是 Tymoczko 等人写的《Sweet Reason》……
To round out suggestions for studying logic, I recommend the following. Mathematical Logic, Set Theory and its Logic, Methods of Logic. All three of these are by Willard van Orman Quine. If you know anything about modern logic, then that is a name that you should recognize. A more accessible textbook is Sweet Reason by Tymoczko &…
……当时觉得挺有趣的数学冷知识。这大概是第一本让我对计算机编程产生浓厚兴趣的书。它基本上就是一本关于数学和计算机的动手实践书。W.V. Quine 的《Methods of Logic》[3]——激发了我对数理逻辑和符号计算的兴趣。整本书我没读完，但读的内容足够让我在 HP-48 GX 图形计算器上写个程序来化简……
…at time, interesting mathematical trivia. This is probably the first book that got me seriously interested in computer programming. This was basically an activity book for mathematics and computers. Methods of Logic by W.V. Quine[3] - This stimulated my interest in symbolic logic and symbolic computation. I didn't read the whole book but I read enough to write a program on my HP-48 GX graphicing calculator to simplify…
为了让逻辑学学习书单更完整，我推荐以下几本：《Mathematical Logic》、《Set Theory and its Logic》、《Methods of Logic》。这三本全都是 Willard van Orman Quine 写的。如果你对现代逻辑学有所了解，这个名字你应该如雷贯耳。一本更浅显易懂的教材是 Tymoczko 等人写的《Sweet Reason》……
To round out suggestions for studying logic, I recommend the following. Mathematical Logic, Set Theory and its Logic, Methods of Logic. All three of these are by Willard van Orman Quine. If you know anything about modern logic, then that is a name that you should recognize. A more accessible textbook is Sweet Reason by Tymoczko &…