Set Theory and Logic - Robert R. Stoll

\nSet Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. One of the most complex and essential of modern mathematical innovations, the theory of sets (crucial to quantum mechanics and other sciences), is introduced in a most careful concept manner, aiming for the maximum in clarity and stimulation for further study in set logic. \nContents include: Sets and Relations -- Cantor's concept of a set, etc. \nNatural Number Sequence -- Zorn's Lemma, etc. \nExtension of Natural Numbers to Real Numbers \nLogic -- the Statement and Predicate Calculus, etc. \nInformal Axiomatic Mathematics \nBoolean AlgebraInformal Axiomatic Set TheorySeveral Algebraic Theories -- Rings, Integral Domains, Fields, etc. \nFirst-Order Theories -- Metamathematics, etc. \nSymbolic logic does not figure significantly until the final chapter. The main theme of the book is mathematics as a system seen through the elaboration of real numbers; set theory and logic are seen s efficient tools in constructing axioms necessary to the system. \nMathematics students at the undergraduate level, and those who seek a rigorous but not unnecessarily technical introduction to mathematical concepts, will welcome the return to print of this most lucid work. \nProfessor Stoll . . . has given us one of the best introductory texts we have seen. -- Cosmos. \nIn the reviewer's opinion, this is an excellent book, and in addition to its use as a textbook (it contains a wealth of exercises and examples) can be recommended to all who wish an introduction to mathematical logic less technical than standard treatises (to which it can also serve as preliminary reading). -- Mathematical Reviews.