R-Calculus, IV: Propositional Logic Other Books in This Series

R-Calculus, V: Description Logics R-Calculus, V: Description Logics
R-Calculus, V: Description Logics
2024
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