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

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

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

during the week-long CSL2000 meeting, was reserved for theGurevichSymposium, a special, one-day t...

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

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

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