such questions for centuries (unrestricted by the capabilities of any hard ware). The principles governing the interaction of several processes, for example, ar

The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and

Mathematics and logic have been central topics of concern since the dawn of philosophy. Since logic is the study of correct reasoning, it is a fundamental branc

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publica