Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

Stefano Aguzzoli Agata Ciabattoni Brunella Gerla Corrado Manara Vincenzo Marra Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday Algebraic and Proof-theoretic Aspects of Non-classical Logics Lecture Notes in Computer Science 4460 Springer 2007 978-3-540-75938-6 db/conf/birthday/mundici2006.html