| C.C. Chang, H.J. Keisler - Computers - 1990 - 649 pages
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard ... | |
| Keith Devlin - Mathematics - 1994 - 194 pages
This text covers the parts of contemporary set theory relevant to other areas of pure mathematics. After a review of "naïve" set theory, it develops the Zermelo-Fraenkel axioms ... | |
| P. T. Johnstone - Mathematics - 1987 - 110 pages
A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. Suitable for all introductory ... | |
| Thomas J. Jech - Mathematics - 2013 - 224 pages
Comprehensive in its selection of topics and results, this self-contained text examines the relative strengths and consequences of the axiom of choice. Each chapter contains ... | |
| D. Van Dalen, H. C. Doets, H. De Swart - Mathematics - 2014 - 360 pages
Sets: Naïve, Axiomatic and Applied is a basic compendium on naïve, axiomatic, and applied set theory and covers topics ranging from Boolean operations to union, intersection ... | |
| George Tourlakis - Mathematics - 2003
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in ... | |
| |