Die in diesem Band zusammengefassten Beiträge stellen die wesentlichen Forschungsergebnisse de...

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

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

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

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

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

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

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

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

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

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