Algebraic and proof-theoretic aspects of non-classical logics papers in honor of Daniele Mundici on the occasion of his 60th birthday - Mundici, Daniele, 1946-; Aguzzoli, Stefano; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Festschrift.
Includes bibliographical references and index.
.a44Also issued online.
Keywords: Mundici, Daniele, -- 1946-; Nonclassical mathematical logic