Introduction to Mathematical Logic
β Scribed by Elliott Mendelson
- Publisher
- Book World Promotions
- Year
- 1979
- Tongue
- English
- Leaves
- 171
- Edition
- 2
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
Late in August, the text originally selected for my mathematical logic class became unavailable. On the basis of reviews only, I chose Mendelson's Introduction to Mathematical Logic as the replacement. A disasterous choice. There may be a page without a typo, but I don't expect to find it. The presentation is inconsistent in notation and focus. Concepts are confused and more difficult than they should be. Definitions are not wisely selected. This book reads like something that has been patched for four decades (since 1964). On the positive side it contains interesting supporting material and will be a valuable private source of ideas to the lecturer. Be sure to read sections from chapter 2 and 3 before selecting this as a text.
π SIMILAR VOLUMES
<p>This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic be
<span>This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers pro
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text