Abstract is missing.
- Editorial NoteJörg H. Siekmann, Dov M. Gabbay. [doi]
- Computational LogicJörg H. Siekmann. 15-30 [doi]
- Logic and the development of the computerMartin Davis. 31-38 [doi]
- What is a logical system? An evolutionary view: 1964-2014Dov M. Gabbay. 41-132 [doi]
- History of Interactive Theorem ProvingJohn Harrison, Josef Urban, Freek Wiedijk. 135-214 [doi]
- Automation of Higher-Order LogicChristoph Benzmüller, Dale Miller. 215-254 [doi]
- Equational Logic and RewritingClaude Kirchner, Hélène Kirchner. 255-282 [doi]
- Possibilistic Logic - An OverviewDidier Dubois, Henri Prade. 283-342 [doi]
- Computerising Mathematical TextFairouz Kamareddine, Joe B. Wells, Christoph Zengler, Henk Barendregt. 343-396 [doi]
- Concurrency Theory: A Historical Perspective on Coinduction and Process CalculiJos C. M. Baeten, Davide Sangiorgi. 399-442 [doi]
- Degrees of UnsolvabilityKlaus Ambos-Spies, Peter A. Fejer. 443-494 [doi]
- Computational ComplexityLance Fortnow, Steven Homer. 495-521 [doi]
- Logic ProgrammingRobert Kowalski. 523-569 [doi]
- Logic and Databases: A History of Deductive DatabasesJack Minker, Dietmar Seipel, Carlo Zaniolo. 571-627 [doi]
- Logics for Intelligent Agents and Multi-Agent SystemsJohn-Jules Ch. Meyer. 629-658 [doi]
- Description LogicsMatthias Knorr, Pascal Hitzler. 659-678 [doi]
- Logics for the Semantic WebPascal Hitzler, Jens Lehmann, Axel Polleres. 679-710 [doi]