Publication year: 2007
: 978-3-540-74915-8
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.
: Computer Science, AI logics, calculi, classical logic, complexity, computational logic, finite models, heuristics, lambda calculus, linear logic, logic, nonclassical logic, optimization, program logic, proof theory, semantics