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