Mathematical foundations

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

This volume will launch a discussion about the concept of intensionality in philosophy, logic, linguistics and mathematics.

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

Category theory reveals commonalities between structures of all sorts.

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

Covers the whole spectrum of finite-state methods, from theory to practical applications.

Combining probability theory and logic, this volume is a general study of stochastic processes using model theory.

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

Offers a comprehensive presentation of spectral spaces focussing on their topology and close connections with algebra, ordered structures, and logic.

A leading authority on orthogonal polynomials details their relationships with Painlevé equations with clear proofs, examples, and exercises.

The continuation of an outstanding scholarly attempt to bring together all significant mathematical constants in one place.

A leading authority on orthogonal polynomials details their relationships with Painlevé equations with clear proofs, examples, and exercises.

Designed for the intellectually curious, this book provides a solid foundation in basic probability in an informal style, without jargon.

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.

Category theory reveals commonalities between structures of all sorts.

Delivers a broad, conceptual introduction to chromatic homotopy theory, focusing on contact with arithmetic and algebraic geometry.

An introductory treatment to the homotopy theory of homotopical categories, presenting several models and comparisons between them.

This book highlights the many ideas and algorithms that Peter L.

This book highlights the many ideas and algorithms that Peter L.

This book investigates the influence of the graph of a symmetric matrix on the multiplicities of its eigenvalues.

With exercises and projects, Exploring Mathematics supports an active approach to the transition to upper-level theoretical math courses.

A sweeping classification theory for computational counting problems using new techniques and theories.

With exercises and projects, Exploring Mathematics supports an active approach to the transition to upper-level theoretical math courses.

A sweeping classification theory for computational counting problems using new techniques and theories.

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.

Employs basic mathematical skills to teach students how to address topical, real-world problems using quantitative reasoning.

Employs basic mathematical skills to teach students how to address topical, real-world problems using quantitative reasoning.

Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.

Presents a new framework for the complexity of algorithms, for all readers interested in the theory of computation.

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.

A reference book discussing applications of formal language theory to group theory, particularly geometric and computational group theory.

A reference book discussing applications of formal language theory to group theory, particularly geometric and computational group theory.

Hacking explores how mathematics became possible for the human race, and how it ensured our status as the dominant species.

Hacking explores how mathematics became possible for the human race, and how it ensured our status as the dominant species.

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.

A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.

A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.

This Student Solution Manual provides complete solutions to all the odd-numbered problems in Foundation Mathematics for the Physical Sciences.

Step-by-step solutions to the odd-numbered problems in Essential Mathematical Methods for the Physical Sciences.

This comprehensive overview of lattice sums is long overdue for a topic that is important in diverse areas of science.

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

This comprehensive overview of lattice sums is long overdue for a topic that is important in diverse areas of science.

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