The Logic of Real Proofs

During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science.

In many respects, logic provides computer science with both a unifying foundational framework and a modelling tool. Indeed, logic has rightly been called 'the calculus of computer science," playing a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing, database systems, hardware design,...