Set theory

Relation theory originates with Hausdorff (Mengenlehre 1914) and Sierpinski (Nombres transfinis, 1928) with the study of order types, specially among chains = total orders = linear orders.

Strange Functions in Real Analysis, Third Edition differs from the previous editions in that it includes five new chapters as well as two appendices.

Winner of a CHOICE Outstanding Academic Title Award for 2011!

The study of random sets is a large and rapidly growing area with connections to many areas of mathematics and applications in widely varying disciplines, from economics and decision theory to biostatistics and image analysis.

Essentials of Elementary School Mathematics is an introductory text on the essentials of mathematics taught in elementary schools.

Originally published in 1973.

The second edition of a successful and unique textbook for students in mathematics or theoretical computer science.

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all.

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

This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form.

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

Computability theory originated with the seminal work of Godel, Church, Turing, Kleene and Post in the 1930s.

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

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

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.

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

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

This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence.

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

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

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Provides a general framework for doing geometric group theory for non-locally-compact topological groups arising in mathematical practice.

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

This volume presents a novel approach to set theory that is entirely operational.

In recent years, applied mathematics has been used in all novel disciplines of scientific development.

"e;Among the many expositions of Godel's incompleteness theorems written for non-specialists, this book stands apart.

Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, covering classical topics of mathematical logic.

Logic Colloquium '02 includes articles from some of the world's preeminent logicians.

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.

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

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 book serves as a textbook in real analysis.

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.

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.

Proceedings of the conference ''Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel''s Legacy'', held in 1996.

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.

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

This book discusses major theories and applications of fuzzy soft multisets and their generalization which help researchers get all the related information at one place.

The edited volume includes papers in the fields of fuzzy mathematical analysis and advances in computational mathematics.

Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathematics.

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory.

A short introduction ideal for students learning category theory for the first time.

This book presents to the reader a modern axiomatic construction of three-dimensional Euclidean geometry in a rigorous and accessible form.

This textbook will continue to be the best suitable textbook written specifically for a first course on probability theory and designed for industrial engineering and operations management students.

An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role.

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.

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

This book presents the concept of cryptcoding which arises from the need to obtain secure and accurate transmission.