Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Applied Logic Series

Rasta: 60
  1. 1
  2. 2
The Semantics and Proof Theory of the Logic of Bunched Implications
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
-15% su kodu: ENG15
182,31 
214,48 
Išsiųsime per 11-15 d. d.
Proof Theory and Automated Deduction
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
New Essays in Free Logic: In Honour of Karel Lambert
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Logical and Computational Aspects of Model-Based Reasoning
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Logic, Language and Computation
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Advances in Temporal Logic
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Labelled Deduction
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Goal-Directed Proof Theory
-15% su kodu: ENG15
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Abduction and Induction: Essays on their Relation and Integration
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
A Modern Perspective on Type Theory: From its Origins until Today
-15% su kodu: ENG15
259,17 
304,90 
Išsiųsime per 11-15 d. d.
A Textbook of Belief Dynamics: Solutions to exercises
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Thirty Five Years of Automating Mathematics
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
A Textbook of Belief Dynamics: Theory Change and Database Updating
-15% su kodu: ENG15
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Dynamic Worlds: From the Frame Problem to Knowledge Management
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
What is Negation?
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Frontiers in Belief Revision
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Formal Aspects of Context
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Fuzzy Sets, Logics and Reasoning about Knowledge
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Advances in Intensional Logic
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Proof Theory of Modal Logic
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Logical and Computational Aspects of Model-Based Reasoning
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Proof Theory of Modal Logic
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
215,97 
254,08 
Išsiųsime per 11-15 d. d.
Rasta: 60
  1. 1
  2. 2