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. Buy A Mathematical Introduction to Logic on Amazon.com ✓ FREE SHIPPING on qualified. Get your Kindle here, or download a FREE Kindle Reading App. A Mathematical Introduction to Logic by Herbert Enderton. Read online, or download in secure PDF or secure EPUB format.
A Mathematical Introduction to Logic This Page Intentionally Left Blank A Mathematical Introduction to Logic Second Edition Herbert B. Enderton University of California, Los Angeles. PDF Download Site. Full Download PDF. A Mathematical Introduction to Logic. 2001-01-23 Herbert Enderton,Herbert B. Enderton Mathematics. Download NOW! Author: Herbert Enderton,Herbert B. Publisher: Elsevier. The text contains numerous exercises and an appendix furnishes answers to many of them. Introduction to Mathematical. A Mathematical Introduction to Logic by Herbert B. Enderton Errata: If you have a recent printing, then some of these corrections might not apply to your copy. Page 9, line 17. The letter after 'mapping' should be A. Line 7 from below should end with ')'. Page 28, last three lines. This condition applies only to x and y in C. Mathematical logic. [n the belief that beginners should be exposed to the easiest and most natural proofs, I have used free-swinging set-theoretic methods. The significance of a demand for constructive proofs can be evaluated only after a certain amount of experience with mathematical logic has been obtained.
| Born | Herbert Bruce Enderton April 15, 1936 |
|---|---|
| Died | October 20, 2010 (aged 74) |
| Nationality | American |
| Alma mater | Harvard University |
| Scientific career | |
| Fields | Mathematical Logic |
| Institutions | UCLA |
Herbert Bruce Enderton (April 15, 1936 – October 20, 2010)[1] was a Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at the University of California, Berkeley.
Enderton also contributed to recursion theory, the theory of definability, models of analysis, computational complexity, and the history of logic.[2]
He earned his Ph.D. at Harvard in 1962.[3] He was a member of the American Mathematical Society from 1961 until his death.[1]
Personal life[edit]
He lived in Santa Monica. He married his wife, Cathy, in 1961 and they had two sons; Eric and Bert.[4]
Later years[edit]
From 1980 to 2002 he was coordinating editor of the reviews section of the Association for Symbolic Logic's Journal of Symbolic Logic.[5]
Death[edit]
He died from leukemia in 2010.[4]
Selected publications[edit]
- Elements of Set Theory. Academic Press. 1977. ISBN978-0-12-238440-0.
- A Mathematical Introduction to Logic. Academic Press. 1972. ISBN978-0-12-238452-3.
- Computability Theory: An Introduction to Recursion Theory. Academic Press. 2011. ISBN978-0-12-384958-8.
References[edit]
- ^ ab'Deaths of AMS Members'(PDF). Notices of the American Mathematical Society. AMS. 58 (1). January 2011.
- ^Richard Zach (October 28, 2010). 'Herbert B. Enderton, 1936-2010'. University of Calgary. Retrieved February 9, 2011.
- ^'UCLA Department of Mathematics'. UCLA. Retrieved February 9, 2011.
- ^ ab'Obituary'. Los Angeles Times. October 31, 2010. Retrieved February 9, 2011.
- ^'Journals - Reviews'. Association for Symbolic Logic. Retrieved February 9, 2011.
External links[edit]
Introduction To Logic Reasoning
- Herbert Enderton UCLA lectures on YouTube