Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday / ed. S. Aguzzoli, 2007 r=on-line. - Текст : электронный.