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

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 alg...

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

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2...

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

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

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 ...