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