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