You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
A Mathematical Introduction to Logic
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interest--it is a subject with intruiging results anout simple objects. This book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning.
Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The text includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computabilit...
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 numbersDefining natural numbers in terms of setsThe potential paradoxes in set theoryThe Zermelo-Fraenkel axioms for set theoryThe axiom of choiceThe arithmetic of ordered setsCantor's two sorts of transfinite number - cardinals and ordinals - and the arithmetic of these.The book is designed for students studying on their own, without access to lecturers and other reading, along the lines of the ...
The Principia Mathematica has long been recognised as one of the intellectual landmarks of the century.
This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains much of interest toadvanced students in computerscience and philosophy. Topics include propositional logic;first-order languages and logic; incompleteness, undecidability,and indefinability; recursive functions; computability;and Hilbert’s Tenth Problem.Reprint of the PWS Publishing Company, Boston, 1995edition.
Fundamentals of Mathematical Analysis explores real and functional analysis with a substantial component on topology. The three leading chapters furnish background information on the real and complex number fields, a concise introduction to set theory, and a rigorous treatment of vector spaces. Fundamentals of Mathematical Analysis is an extensive study of metric spaces, including the core topics of completeness, compactness and function spaces, with a good number of applications. The later chapters consist of an introduction to general topology, a classical treatment of Banach and Hilbert spaces, the elements of operator theory, and a deep account of measure and integration theories. Severa...
None
Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.