"Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)" - читать интересную книгу автора (S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. Marra)