pt. I Introduction -- Computational Logic / Jorg Siekmann -- Logic and the Development of the Computer / Martin Davis -- pt. II General -- What is a Logical System? An Evolutionary View: 1964 -- 2014 / Dov Gabbay -- pt. III Automated Reasoning -- Interactive Theorem Proving / Freek Wiedijk -- Automation of Higher Order Logic / Dale Miller -- Equational Logics and Rewriting / Helene Kirchner -- Possibilistic Logic -- An Overview / Henri Prade -- Computerizing Mathematical Text / Henk Barendregt -- pt. IV Computer Science -- Concurrency Theory: a Historical Perspective on Coinduction and Process Calculi / Davide Sangiori -- Degrees of Unsolvability / Peter A. Fejer -- Computational Complexity / Steven Homer -- Logic Programming / Bob Kowalski -- Logic and Databases: A History of Deductive databases / Carlo Zaniolo -- Logics for Intelligent Agents and Multi Agent Systems / John-Jules Ch. Meyer -- Description Logics / Pascal Hitzler -- Logics for the Semantic Web / Axel Polleres.
