We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Price loading...
R-Calculus, V: Description Logics (Perspectives in Formal Induction, Revision and Evolution)
Price data last checked 101 day(s) ago - refreshing...
Price History & Forecast
No Price Data Available
Price history will appear here once data is collected from Amazon.
Price Distribution
No price data available for histogram
Description
This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
Product Specifications
- Format
- paperback
- ASIN
- 9819964628
- Domain
- Amazon UK
- Release Date
- 07 January 2025
- Listed Since
- 07 January 2025
Barcode
No barcode data available
Similar Products You Might Like
94% match
R-Calculus, IV: Propositional Logic (Perspectives in Formal Induction, Revision and Evolution)
£124.30
01 Feb 2026
94% match
Springer R-Calculus, IV: Propositional Logic Book
Springer
£104.13
20 Feb 2026
93% match
R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)
£107.32
09 Jan 2026
93% match
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
Springer
£122.77
12 Feb 2026
91% match
R-Calculus, VI: Finite Injury Priority Method (Perspectives in Formal Induction, Revision and Evolution)
Springer
£106.17
09 Mar 2026
91% match
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE: 5 (Advances In Logic)
World Scientific Publishing Company
£58.86
03 Mar 2026
91% match
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
£59.19
11 Feb 2026
90% match
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
Springer
£118.45
13 Jan 2026
90% match
Propositional and Predicate Calculus: A Model of Argument
Springer
£52.01
14 Jan 2026
90% match
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
Springer
£91.63
07 Mar 2026
90% match
Functional Interpretation Of Logical Deduction, The
World Scientific Publishing Company
£69.00
07 Mar 2026
90% match
Introduction to Logic and Logical Discourse
£91.52
07 Jan 2026
90% match
Introduction to Logic and Logical Discourse
Springer
£89.88
25 Feb 2026
90% match
Description Logics in Multimedia Reasoning
Springer
£80.65
06 Mar 2026
89% match
Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)
Oxford University Press
£162.88
11 Jan 2026
89% match
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
£85.00
08 Mar 2026
89% match
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
Springer
£75.27
08 Mar 2026
89% match
Cambridge Description Logic Handbook - Theory and Applications
Cambridge University Press
£60.35
25 Feb 2026
89% match
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Springer
£61.26
26 Feb 2026
89% match
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£40.67
07 Mar 2026
89% match
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Springer
£98.51
07 Mar 2026
89% match
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
£76.14
08 Apr 2026
89% match
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel’s Theorems: 286 (Synthese Library, 286)
Springer
£117.58
28 Jan 2026
89% match
Cambridge Higher Recursion Theory 2 - Perspectives in Logic
Cambridge University Press
£95.81
17 Apr 2026