Mathematical foundations

Combinatorics meets number theory in this stimulating stroll through the zetas.

This volume contains the invited papers presented at the 14th British Combinatorial Conference, held at the University of Keele in July 1993.

Selected papers reflecting current research in categories and computer science.

The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students.

Here Professor Paterson brings together papers from the 1990 Durham symposium on Boolean function complexity.

The study of permutation groups has always been closely associated with that of highly symmetric structures.

In recent years the interplay between model theory and other branches of mathematics has led to many deep and intriguing results.

This book provides a rapid introduction to topics in graph theory typically covered in a graduate course.

An introduction to the use of triangulated categories in the study of representations of finite-dimensional algebras.

Axiomatic set theory is the concern of this book.

This book is concerned with the relations between graphs, error-correcting codes and designs.

All those researching into any aspect of Combinatorics and its applications will find much in these articles of use and interest.

These notes present an investigation of a condition similar to Euclid''s parallel axiom for subsets of finite sets.

Matroid theory is alone among mathematical theories because of the number and variety of its equivalent axiom systems.

A comprehensive and unique volume by the master of combinatorial game theory.

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

Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.

Second of two volumes providing a comprehensive guide to the current state of mathematical logic.

This book illustrates linear logic in the application of proof theory to computer science.

Introduction to buildings and their geometries with emphasis on model theoretic constructions, covering recent developments.

Foundations of higher dimensional category theory for graduate students and researchers in mathematics and mathematical physics.

An abridged text of Principia Mathematica, suitable for an introductory study of logic.

The invited lectures given at the 16th.

These notes give a self-contained treatment of the theory of o-minimal structures.

Surveys recent interactions between model theory and other branches of mathematics, notably group theory.

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

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

Provides a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory.

These notes provide a formal introduction to the theory of surreal numbers in a clear and lucid style.

The articles collected here are the texts of the invited lectures given at the Eighth British Combinatorial Conference held at University College, Swansea.

A selective, critical history of the relations between logic and philosophy over the last 150 years.

An integrated approach for new graduate students, emphasising connections with game theory, optimisation, mathematical programming and statistics.

A survey of semimodularity that presents theory and applications in discrete mathematics, group theory and universal algebra.

Third in a three part set, this volume introduces topos theory and the idea of sheaves.

Second in a three part set, this volume introduces important classes of categories (abelian, monadic, fibred, etc.

First of a 3-volume work giving a detailed account of what should be known by all working in, or using category theory.

An up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians.

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

A selective, critical history of the relations between logic and philosophy over the last 150 years.

The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.

This book presents a unifying framework for using priority arguments to prove theorems in computability.

Papers examining aspects of Godel''s work gathered from a symposium celebrating Gödel''s centennial and papers from a 2004 ASL symposium.

A unique reference in the field of knowledge representation, now available in paperback.

A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.

This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

A thorough introduction to a burgeoning interdisciplinary field, with an emphasis on foundational material.

Presents seminal papers from the Caltech-UCLA ''Cabal Seminar'', unpublished material, and related new papers.

This book gives an account of combinatory logic and lambda-calculus models.