R-Calculus, II: Many-Valued Logics
-
nidottu
,
Englanti, 2023