Set theory

This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and computer programming.

Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics.

Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics.

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

Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.

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

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

Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.

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

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.

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

A rigorous introduction to real analysis for undergraduates.

A rigorous introduction to real analysis for undergraduates.

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

This book offers a new, algebraic, approach to set theory.

This book will make an excellent introduction to the subject for graduate students and research workers in set theory and analysis.

The most seminal collection of papers of descriptive set theory reprinted and put into the modern research context.

A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field.

This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics.

This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries.

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today.

Kurt Godel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems.

A deep dive into the historical and philosophical background of Gödel''s famed 1931 paper on incompleteness.

A deep dive into the historical and philosophical background of Gödel''s famed 1931 paper on incompleteness.

A concise tour from the subject''s ancient roots towards the highest infinities and their surprising implications for the finite.

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

Discover the mathematical riches of ''what is diversity?

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

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

This easy-to-cite handbook gives the first systematic treatment of the (co)end calculus in category theory and its applications.

This volume presents the proceedings of the 2000 European Summer Meeting of the Association for Symbolic Logic, marking one hundred years since Hilbert''s famous lecture.

This volume contains proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria in August, 2001.

Represents the state of the art in the new field of synthetic differential topology.

This volume contains research papers in mathematical logic, particularly in model theory and its applications to algebra and formal theories of arithmetic.

A leading expert presents a unified concept of slenderness in Abelian categories, with numerous open problems and exercises.

This volume contains twenty-four original research papers by leading experts, exhibiting exciting new developments in reverse mathematics since 1998.

This volume presents the proceedings of two major international meetings on mathematical logic held in Münster, Germany, in August 2002.

Nonstandard analysis is one of the great achievements of modern mathematical logic.

This volume contains proceedings of the 1998 European Summer Meeting of the Association for Symbolic Logic held at the University of Economics, Prague.

This volume presents the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland in August, 2003.

This volume contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in 1999.

For those who wonder if the forcing theory is beyond their means: no.

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

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

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

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

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

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