A Mathematical Introduction to Logic

Herbert B.Enderton，哈佛大学博士，师从著名哲学家hilary putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材elements of set theory（影印版已经由人民邮电出版社出版）和linear algebra。

出版者:Academic Press

作者:Herbert B. Enderton

页数:317

出版时间:2001-1-5

价格:USD 113.00

装帧:Hardcover

isbn号码:9780122384523

图书标签:数理逻辑逻辑学MathematicsLogic数学计算机计算机科学MathSetTheoryLogic

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

读后感

用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。

用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。

今天偶然看到作者的讣告。http://www.ucalgary.ca/rzach/blog/2010/10/herbert-b-enderton-1936-2010.html Sad news: With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emer...  

用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。

今天偶然看到作者的讣告。http://www.ucalgary.ca/rzach/blog/2010/10/herbert-b-enderton-1936-2010.html Sad news: With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emer...  

用户评价

修图灵奖大神的课扫了一半多，其实书上讲得还算蛮注重intuition和sign-posting的，但估计一般人自己看还是会费劲吧。。。Enderton 在 ucla 的主页还保持着通信地址、邮箱、电话、最近教的课等信息，页面最上面却有一行显得格格不入的“Herbert B. Enderton，1936 - 2010”，看得人不禁好伤感。。。

This book may be elegant and strict, but it makes me lose interests after countless confusing proves.

10年后重新捧起逻辑书

课学完了，我也倒了。。

非常简单的入门读物，适合速读