Logical concepts and methods are of growing importance in many areas of computer science. The pro...

The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced ...

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

For some years, specification of software and hardwaresystems has been influenced not only by...

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Sci...

Recent developments in computer science clearly show the need for a better theoretical foundation...

As society comes to rely increasingly on software for its welfare and prosperity there is an urge...

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

This book is for graduate students and researchers, introducing modern foundational research in m...

As society comes to rely increasingly on software for its welfare and prosperity there is an urge...

Recent developments in computer science clearly show the need for a better theoretical foundation...

For some years, specification of software and hardwaresystems has been influenced not only by...