Publication Date: 2007
ISBN: 978-3-540-74915-8
Internet Resource: Please Login to download book
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.
Subject: 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