Mathematical logic books

Beginning Links to Logic Grades 2-4 is divided into 5 sections: Deductive Reasoning, Math-Based Puzzles, Language...  Read More >>

Contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language,...  Read More >>

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent...  Read More >>

<p>This illustrated book brings together results of forty years of study into computational, mathematical, physical...  Read More >>

This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision...  Read More >>

Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took...  Read More >>

 Read More >>

A monograph on the axiom of determinacy that is related to winning strategies in game theory.  Read More >>

The focus of this book is the P versus NP Question and the theory of NP-completeness. It also provides adequate...  Read More >>

Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance...  Read More >>

Constitutes the proceedings of the 19th International Conference on Inductive Logic Programming, held in Leuven,...  Read More >>

A computational model is a mathematical structure which is constructed in an easy way and is useful in performing...  Read More >>

 Read More >>

This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written...  Read More >>

 Read More >>

Epistemic Logic: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most...  Read More >>

Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability...  Read More >>

Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held...  Read More >>

 Read More >>

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic,...  Read More >>

This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation...  Read More >>

Model transformations are the glue that tie modelling activities together. Model transformations have humble beginnings—at...  Read More >>

Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make...  Read More >>

Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held...  Read More >>

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic,...  Read More >>