These lecture notes provide a unique introduction to Pesin theory and its applications.

The fifteenth British Combinatorial Conference took place in July 1995 at the University of Stirling. This volume consists of the papers presented by the invited lecturers at the meeting, and provides an up-to-date survey of current research activity in several areas of combinatorics and its applications. These include distance-regular graphs, combinatorial designs, coding theory, spectra of graphs, and randomness and computation. The articles give an overview of combinatorics that will be extremely useful to both mathematicians and computer scientists.

This book surveys progress in the domains described in the hitherto unpublished manuscript "Esquisse d'un Programme" (Sketch of a Program) by Alexander Grothendieck. It will be of wide interest amongst workers in algebraic geometry, number theory, algebra and topology.

Lecture notes for graduates or researchers wishing to enter this modern field of research.

The first of two companion volumes on anabelian algebraic geometry, this book contains the famous, but hitherto unpublished manuscript 'Esquisse d'un Programme' (Sketch of a Program) by Alexander Grothendieck. This work, written in 1984, fourteen years after his retirement from public life in mathematics, together with the closely connected letter to Gerd Faltings, dating from 1983 and also published for the first time in this volume, describe a powerful program of future mathematics, unifying aspects of geometry and arithmetic via the central point of moduli spaces of curves; it is written in an artistic and informal style. The book also contains several articles on subjects directly related to the ideas explored in the manuscripts; these are surveys of mathematics due to Grothendieck, explanations of points raised in the Esquisse, and surveys on progress in the domains described there.

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource.

These volumes are the outgrowth of a conference held at the Mathematisches Forschungsinstitut Oberwolfach (Germany) on the subject of 'Novikov Conjectures, Index Theorems and Rigidity'.

This book provides a careful and accessible exposition of the function analytic approach to initial boundary value problems for semilinear parabolic differential equations. It focuses on the relationship between two interrelated subjects in analysis: analytic semigroups and initial boundary value problems.

A gem of a book bringing together 30 years worth of results that are certain to interest anyone whose research touches on quadratic forms.

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