Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009.

This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a

A coherent introduction to current trends in model theory Contains articles by some of the most influential logicians of the last hundred years. No other public

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philo