Knygos pagal Applied Logic Series
The Semantics and Proof Theory of the Logic of Bunched Implications
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Proof Theory and Automated Deduction
I. Mackie, Jean Goubault-Larrecq
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
New Essays in Free Logic: In Honour of Karel Lambert
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Logical and Computational Aspects of Model-Based Reasoning
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Logic, Language and Computation
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Advances in Temporal Logic
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Goal-Directed Proof Theory
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Abduction and Induction: Essays on their Relation and Integration
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Modern Perspective on Type Theory: From its Origins until Today
F. D. Kamareddine, Rob Nederpelt, T. Laan
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Textbook of Belief Dynamics: Solutions to exercises
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Thirty Five Years of Automating Mathematics
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Fallacies Arising from Ambiguity
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
A Textbook of Belief Dynamics: Theory Change and Database Updating
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Dynamic Worlds: From the Frame Problem to Knowledge Management
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Frontiers in Belief Revision
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Formal Aspects of Context
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Fuzzy Sets, Logics and Reasoning about Knowledge
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Advances in Intensional Logic
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Proof Theory of Modal Logic
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Logical and Computational Aspects of Model-Based Reasoning
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Fallacies Arising from Ambiguity
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Proof Theory of Modal Logic
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją