This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory, providing an exposition of some of the most important results in set theory obtained in the 20th century-the independence of the continuum hypothesis and the axiom of choice. Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science, the text has been extensively updated with expanded introductory material, new chapters and a new appendix on category theory, and includes recent developments in the field. Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory.

Product Description: Is the art of preaching dead? This book belongs to a series of books which intend to show that, far from being moribund, the tradition of preaching is alive and well. Included in this text are contemporary reflections on the themes of Christianity and conflict...read more

Product Description: Book by Bell, Crow

Product Description: Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic...read more (view table of contents, read Amazon.com's description)

Product Description: The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic...read more

Product Description: Details economic dislocations in North Carolina during the severest years of the depression. Separate chapters cover agriculture, banking, industry, labor, unemployment relief, government finances, blacks, transportation, and education.