R-Calculus, V: Description Logics Other Books in This Series

R-Calculus, VI: Finite Injury Priority Method R-Calculus, VI: Finite Injury Priority Method
R-Calculus, VI: Finite Injury Priority Method
2024
R-Calculus, II: Many-Valued Logics R-Calculus, II: Many-Valued Logics
R-Calculus, II: Many-Valued Logics
2022
R-Calculus, IV: Propositional Logic R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
2023