Mathematical logic

This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.

A unique approach to mathematical logic where students implement the underlying concepts and proofs in the Python programming language.

This book develops the theory of infinite-dimensional categories by studying the universe, or ∞-cosmos, in which they live.

A uniquely accessible introduction to abstract mathematics and category theory written by popular science author of How to Bake Pi.

Surveys on recent developments in the theory of algorithmic randomness and its interactions with other areas of mathematics.

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.

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

Learn how to automatically prove mathematical statements in combinatorics, sequences, and number theory.

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.

The author revisits logicism in light of recent advances in mathematical logic and theoretical computer science.

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

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.

This volume contains refined and expanded versions of graduate courses in mathematical logic given at the University of Notre Dame, Indiana in 2000.

This volume examines the inexhaustibility of mathematical knowledge by presenting a particular view of the topic of Gödelian extensions of theories.

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 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.

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.

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

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

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.

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.