Set theory

Beyond calculus, the world of mathematics grows increasingly abstract and places new and challenging demands on those venturing into that realm.

This introduction to mathematical logic takes Godel's incompleteness theorem as a starting point.

This book presents articles of L.

A Beginner's Guide to Mathematical Proof prepares mathematics majors for the transition to abstract mathematics, as well as introducing a wider readership of quantitative science students, such as engineers, to the mathematical structures underlying more applied topics.

The authors have written an introduction to logic taking Godel's incompleteness theorem as a starting point.

This book originates as an essential underlying component of a modern, imaginative three-semester honors program (six undergraduate courses) in Mathematical Studies.

This book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.

Papers based on a series of workshops where prominent researchers present exciting developments in set theory to a broad audience.

Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate.

This book presents articles of L.

This research level monograph reflects the current state of the field and provides a reference for graduate students entering the field as well as for established researchers.

This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.

Research monograph on set theory by two of the world''s leading researchers.

Exploring the Infinite addresses the trend toward a combined transition course and introduction to analysis course.

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject.

Model theory is one of the central branches of mathematical logic.

This book deals with two important branches of mathematics, namely, logic and set theory.

A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.

A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians.

The Banach–Tarski Paradox seems patently false.

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.

The book deals with complexity, imprecision, human valuation, and uncertainty in spatial analysis and planning, providing a systematic exposure of a new philosophical and theoretical foundation for spatial analysis and planning under imprecision.

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject.

These notes develop the theory of descriptive sets, leading up to a new proof of Louveau''s separation theorem for analytic sets.

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists.

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process.

Readings in Fuzzy Sets for Intelligent Systems is a collection of readings that explore the main facets of fuzzy sets and possibility theory and their use in intelligent systems.

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists.

Helps students transition from problem solving to proving theorems, with a new chapter on number theory and over 150 new exercises.

This book is about "e;diamond"e;, a logic of paradox.

Helps students transition from problem solving to proving theorems, with a new chapter on number theory and over 150 new exercises.

Primarily designed for graduate students of mathematics, this textbook delves into Naive set theory, offering valuable insights for senior undergraduate students and researchers specializing in set theory.

This book has enjoyed considerable use and appreciation during its first four editions.

Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic.

Introduction to Math Olympiad Problems aims to introduce high school students to all the necessary topics that frequently emerge in international Math Olympiad competitions.

Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction.

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process.

Lays the foundations for a new area of descriptive set theory: the connection between forcing and analytic equivalence relations.

The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master.

This two-volume work bridges the gap between introductory texts and the research literature.

This comprehensive two-volume work is devoted to the most general beginnings of mathematics.

Model theory is the meta-mathematical study of the concept of mathematical truth.

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought.