"Algebraic and Proof-theoretic Aspects of Non-classical Logics" - читать интересную книгу автора (S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra)