The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Confe...

Category theory provides a general conceptual framework that has proved fruitful in subjects as d...

This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may conta...

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Confe...