 Axiomatic Set Theory
by Patrick Suppes
By means of the Zermelo-Fraenkel system, Suppes provides best treatment of axiomatic set theory on upper undergraduate and graduate levels. Topics include relations and functions, equipollence, finite sets and cardinal numbers, rational and real numbers, more
all books in Set Theory
|  |
| |  An Outline of Set Theory
by James M. Henle
An innovative introduction to set theory, this volume is for undergraduate courses in which students work in groups and present their solutions to the class. Complete solutions. 1986 edition.
all books in Set Theory
| |
|
 Mathematical Logic
by Stephen Cole Kleene
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
all books in Logic
| |
| |  Abstract and Concrete Categories: The Joy of Cats
by Jiri Adamek, Horst Herrlich, George E Strecker
This up-to-date introductory treatment employs category theory to explore the theory of structures. Its unique approach stresses concrete categories and presents a systematic view of factorization structures. Numerous examples. 1990 edition, updated 2004.
all books in Set Theory
| |
|
| |  Logic for Mathematicians
by J. Barkley Rosser
Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." — Bulletin of the American Mathematical Society. 1978 edition.
all books in Logic
| |
|
 The Axiom of Choice
by Thomas J. Jech
Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.
all books in Logic
| |
| |  Toposes and Local Set Theories: An Introduction
by J. L. Bell
This introduction to topos theory examines local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. 1988 edition.
all books in Logic
| |
|
| |  Introduction to the Theory of Sets
by Joseph Breuer, Howard F. Fehr
This undergraduate text develops its subject through observations of the physical world, covering finite sets, cardinal numbers, infinite cardinals, and ordinals. Includes exercises with answers. 1958 edition.
all books in Set Theory
| |
|
 Mathematical Logic: A First Course
by Joel W. Robbin
This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
all books in Logic
| |
| |  Theory of Sets
by E. Kamke, Frederick Bagemihl
Clear and simple, this introduction to set theory employs the discoveries of Cantor, Russell, Weierstrass, Zermelo, Bernstein, Dedekind, and other mathematicians. It analyzes concepts and principles, offering numerous examples. 1950 edition.
all books in Dover Phoenix Editions
| |
|
 The Elements of Mathematical Logic
by Paul C. Rosenbloom
This excellent introduction to mathematical logic provides a sound knowledge of the most important approaches, stressing the use of logical methods. "Reliable." — The Mathematical Gazette. 1950 edition.
all books in Logic
| |
| | |
 A Profile of Mathematical Logic
by Howard DeLong
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize-winning book was inspired by this work.
all books in Logic
| |
| |  Basic Concepts of Mathematics and Logic
by Michael C. Gemignani
Intended as a first look at mathematics at the college level, this text emphasizes logic and set theory — counting, numbers, functions, ordering, probabilities, and other components of higher mathematics.
all books in Logic
| |
|
 Basic Set Theory
by Azriel Levy
The first part of this advanced-level text covers pure set theory, and the second deals with applications and advanced topics (point set topology, real spaces, Boolean algebras, infinite combinatorics and large cardinals). 1979 edition.
all books in Set Theory
| |
| | |
 Introduction to Logic
by Patrick Suppes
Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.
all books in Logic
| |
| |  Introduction to Logic
by Alfred Tarski
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
all books in General Science
| |
|
 First-Order Logic
by Raymond M. Smullyan
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus is on the tableau point of view. Includes 144 illustrations.
all books in Logic
| |
| | |
 Axiomatic Set Theory
by Paul Bernays
A historical introduction by A. A. Fraenkel to the original Zermelo-Fraenkel form of set-theoretic axiomatics, plus Paul Bernays' independent presentation of a formal system of axiomatic set theory.
all books in Set Theory
| |
| |  First Order Mathematical Logic
by Angelo Margaris
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.
all books in Logic
| |
|
 Set Theory and Logic
by Robert R. Stoll
Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories.
all books in Set Theory
| |
|
