The 6th edition of the eBook, Introduction to Mathematical Logic (PDF), is a comprehensive guide to understanding the various aspects of mathematical logic. This eBook covers topics like propositional logic, 1st-order number theory, axiomatic set theory, and the theory of computability. Additionally, it delves into the fundamental work of renowned mathematicians and logicians like Gödel, Church, Rosser, Turing, and Kleene.
The latest edition of the eBook has been updated and revised with current research on Gödel’s second incompleteness theorem. An appendix on consistency proofs for first-order arithmetic, which was available in the first edition but later removed, has also been added back for historical purposes. The eBook provides readers with historical perspectives as well as a diverse set of exercises to aid in learning and understanding the material.
Review
“Introduction to Mathematical Logic” by Mendelson has been highly esteemed since its first publication in 1964 and remains one of the most frequently referred to and recommended textbooks in the field. It is definitely one of the few outstanding textbooks any computer science graduate, graduate student, scientist, or teacher should be familiar with.” ― Computing Reviews, May 2010.
Note: This eBook sale does not include access codes. It is solely the eBook, Introduction to Mathematical Logic 6th Edition, in PDF format.
Reviews
There are no reviews yet.