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

This volume presents a definitive introduction to twenty core areas of philosophical logic including classical logic, modal logic, alternative logics and close

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original ess