In this volume, different aspects of logics for dependence and independence are discussed, includ...

This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and L...

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambd...

In this volume, different aspects of logics for dependence and independence are discussed, includ...

First account of the subject by two of its leading exponents. Essentially self-contained.

This is an advanced textbook on topology for computer scientists.

Belief revision is a topic of much interest in theoretical computer science and logic, and it for...

This book discusses recent research in the theoretical foundations of several subjects of importa...

This book covers the background of classical logic, including the major meta-theorems, and the st...

Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...