This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics.

Inhalt
Theory of Computation and Specification over Abstract Data Types, and its Applications.- Fundamentals of Deductive Program Synthesis.- Notes on Resolution.- au ?-calcul pur.- Normalization.- Computability Logical and Recursive Complexity.- Reflecting the Open-Ended Computation System of Constructive Type Theory.- Some Lectures on Modal Logic.- Formal Approaches to Concurrency.- The Family of Concurrent Logic Programming Languages.