Overview
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.
- | Author: F. L. Bauer
- | Publisher: Springer
- | Publication Date: Jan 16, 2012
- | Number of Pages: 485 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3642768016
- | ISBN-13: 9783642768019
