The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
![Computer Science Logic Computer Science Logic](https://www.angusrobertson.com.au/images/9783540600176.jpg?width=250)
Share This Book: