A Mathematical Introduction To Logic 2nd Edition Control Pdf

Open Preview

See a Problem?

We'd love your help. Let us know what's wrong with this preview of A Mathematical Introduction to Logic by Herbert B. Enderton.

Thanks for telling us about the problem.

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

Be the first to ask a question about A Mathematical Introduction to Logic

Community Reviews

· 123 ratings · 7 reviews

Start your review of A Mathematical Introduction to Logic

Dec 11, 2010 Alex rated it liked it

Fascinating material; the book, unfortunately, is too terse and inconsistent it how it presents definitions and examples (of which there are too few). The exercises redeem it somewhat.

Also: needing a new symbol, Enderton differentiates between an asterisk and a "capital asterisk" (which are hardly distinguishable). What the hell?

Fascinating material; the book, unfortunately, is too terse and inconsistent it how it presents definitions and examples (of which there are too few). The exercises redeem it somewhat.

Also: needing a new symbol, Enderton differentiates between an asterisk and a "capital asterisk" (which are hardly distinguishable). What the hell?

...more

The material covers many important results from logic, pretty much from scratch. If you've done some university-level maths & are familiar with proof-based reasoning, want to learn logic, but don't want to shortcut through some of the more introductory logic books, it's not a bad shout. However, I think it'd be difficult to use without accompanying lectures. Some proofs are not fully spelled out, and, as several other reviewers noted, the writing style is pretty terse. The material covers many important results from logic, pretty much from scratch. If you've done some university-level maths & are familiar with proof-based reasoning, want to learn logic, but don't want to shortcut through some of the more introductory logic books, it's not a bad shout. However, I think it'd be difficult to use without accompanying lectures. Some proofs are not fully spelled out, and, as several other reviewers noted, the writing style is pretty terse. ...more

اشنايي با منطق رياضي
ترجمه غلامرضا برادران خسرو شاهي
محمد رجبي طرخوراني

Dec 17, 2019 Daniel rated it liked it

Adequate but not great. I read it as a course text and it was fine in that context but I wouldn't recommend it by itself. Adequate but not great. I read it as a course text and it was fine in that context but I wouldn't recommend it by itself. ...more

The book accompanying a course taught by Len Adleman, co-inventor of RSA encryption, father of DNA computing, and a stellar lecturer. Poor textbook is doomed to be the forgotten stepchild of this course.