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

The fundamental ideas concerning computation and recursion naturally find their place at the inte...

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

Driven by the question, 'What is the computational content of a (formal) proof?', this book studi...