The author died in , but his webpages live on, including one with his own comments on his second edition. A final chapter covers second-order logic and some other matters. A Mathematical Introduction to Logic eventually became part of a logical trilogy, with the publication of the wonderfully lucid Elements of Set Theory and Computability Theory The first volume, by contrast, is not the most approachable first pass through its material. Some might think this chapter to be slightly odd. For the usual motivation for separating off propositional logic and giving it an extended treatment at the beginning of a book at this level is that this enables us to introduce and contrast the key ideas of semantic entailment and of provability in a formal deductive system, and then explain strategies for soundness and completeness proofs, all in a helpfully simple and uncluttered initial framework.
|Published (Last):||22 September 2006|
|PDF File Size:||6.12 Mb|
|ePub File Size:||17.42 Mb|
|Price:||Free* [*Free Regsitration Required]|
News In memoriam: Herbert B. Enderton died at his home in Santa Monica on October 22, , after battling leukemia for nearly a year. He had a postdoctoral appointment at MIT from to , and he was an assistant professor at UC Berkeley from to In he came to UCLA, where he took on two half-time positions, one in the mathematics department and the other as an editor of the reviews section of the Journal of Symbolic Logic. In the latter job became a more important one when he was made the coordinating editor of the reviews section.
As such he was in charge of a major function of the Association for Symbolic Logic, and he remained in this role until Enderton retired from department in , but he continued to teach regularly until he became ill in In the early s, he began devoting himself to teaching, writing expository articles, and—with great success—writing textbooks.
His first book, A Mathematical Introduction to Logic, was published in It is still going strong in its second edition, published in Spanish and Chinese translations appeared in and respectively.
His Elements of Set Theory has also been very successful. A new undergraduate text,Computability Theory: an Introduction to Recursion Theory, was completed after he had become ill and was published in Herb Enderton was an active participant in the life of the logic group at UCLA, and he will be sorely missed.
ISBN 13: 9780122384523
About this title 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. 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. From the Back Cover: About this book An accessible, flexible introduction to the subject of mathematical logic, the second edition of this popular and widely-adopted text has been revised to be appropriate for courses enrolling either advanced undergraduates or graduate students.
A mathematical introduction to logic
A Mathematical Introduction to Logic
Similar authors to follow