Wei Li, Yuefei Sui R-Calculus, II: Many-Valued Logics - Springer Springer 2022 ISBN: 9789811692949 Source: EBOOK