Books by Applied Logic Series
The Semantics and Proof Theory of the Logic of Bunched Implications
-20% with code BOOKS
In stock at our supplier
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
-20% with code BOOKS
In stock at our supplier
Proof Theory and Automated Deduction
I. Mackie, Jean Goubault-Larrecq
-20% with code BOOKS
In stock at our supplier
New Essays in Free Logic: In Honour of Karel Lambert
-20% with code BOOKS
In stock at our supplier
Logical and Computational Aspects of Model-Based Reasoning
-20% with code BOOKS
In stock at our supplier
Abduction and Induction: Essays on their Relation and Integration
-20% with code BOOKS
In stock at our supplier
A Modern Perspective on Type Theory: From its Origins until Today
F. D. Kamareddine, Rob Nederpelt, T. Laan
-20% with code BOOKS
In stock at our supplier
A Textbook of Belief Dynamics: Solutions to exercises
-20% with code BOOKS
In stock at our supplier
Thirty Five Years of Automating Mathematics
-20% with code BOOKS
In stock at our supplier
A Textbook of Belief Dynamics: Theory Change and Database Updating
-20% with code BOOKS
In stock at our supplier
Dynamic Worlds: From the Frame Problem to Knowledge Management
-20% with code BOOKS
In stock at our supplier
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-20% with code BOOKS
In stock at our supplier
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-20% with code BOOKS
In stock at our supplier
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-20% with code BOOKS
In stock at our supplier
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
-20% with code BOOKS
In stock at our supplier
Fuzzy Sets, Logics and Reasoning about Knowledge
-20% with code BOOKS
In stock at our supplier
Logical and Computational Aspects of Model-Based Reasoning
-20% with code BOOKS
In stock at our supplier
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-20% with code BOOKS
In stock at our supplier