Designed for undergraduate students of set theory, "Classic Set Theory" presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors. This includes: The definition of the real numbers in terms of rational numbers and ultimately in terms of natural numbers; Defining natural numbers in terms of ...
At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as ...
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.