Set theory

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transition course, but also presents practical skills for upper-level mathematics coursework and exposes undergraduate students to the context and culture of contemporary mathematics.

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transition course, but also presents practical skills for upper-level mathematics coursework and exposes undergraduate students to the context and culture of contemporary mathematics.

Irrationality and Transcendence in Number Theory tells the story of irrational numbers from their discovery in the days of Pythagoras to the ideas behind the work of Baker and Mahler on transcendence in the 20th century.

Irrationality and Transcendence in Number Theory tells the story of irrational numbers from their discovery in the days of Pythagoras to the ideas behind the work of Baker and Mahler on transcendence in the 20th century.

The philosophy of mathematics is an exciting subject.

The philosophy of mathematics is an exciting subject.

Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry.

Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry.

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

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

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra.

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra.

Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.

Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.

Neutrices and External Numbers: A Flexible Number System introduces a new model of orders of magnitude and of error analysis, with particular emphasis on behaviour under algebraic operations.

Neutrices and External Numbers: A Flexible Number System introduces a new model of orders of magnitude and of error analysis, with particular emphasis on behaviour under algebraic operations.

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

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

REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced.

Emphasises the powerful methods arising from the fusion of combinatorial techniques with programming, linear algebra, and probability theory.

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

This is a classic introduction to set theory, from the basics through to the modern tools of combinatorial set theory.

Monograph exploring the connections that forcing makes with descriptive set theory and other areas of mathematics.

This book explores a new axiom of set theory, which simplifies proofs, provides deeper insight, and leads to new results.

In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.

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

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

Although this book deals with basic set theory (in general, it stops short of areas where model-theoretic methods are used) on a rather advanced level, it does it at an unhurried pace.

Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics, there are no books on the market that make the subject accessible to non-experts.

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications.

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications.

Model theory investigates mathematical structures by means of formal languages.

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

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

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

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

A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition.

A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition.

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice.

This book makes a significant inroad into the unexpectedly difficult question of existence of Frechet derivatives of Lipschitz maps of Banach spaces into higher dimensional spaces.

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.

The underlying theme of this book is that a widespread, taxonomically diverse group of animals, important both from ecological and human resource perspectives, remains poorly understood and in delcine, while receiving scant attention from the ecological and conservation community.

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject.

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject.

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject.

The transition from school mathematics to university mathematics is seldom straightforward.

This is an extended treatment of the set-theoretic techniques which have transformed the study of abelian group and module theory over the last 15 years.

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength.