Algebraic and proof-theoretic aspects of non-classical logics
Subtitle: papers in honor of Daniele Mundici on the occasion of his 60th birthday
By: Stefano Aguzzoli ... [et al.] (eds.).
Contributors: Mundici, Daniele, 1946-; Aguzzoli, Stefano.
Series: Lecture notes in computer science -- 4460. -- Lecture notes in artificial intelligence -- FoLLI publications on logic, language and information; Lecture notes in computer science -- 4460.; Lecture notes in computer science; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 308
ISBN-13: 9783540759386
Subjects: Mundici, Daniele, -- 1946-; Nonclassical mathematical logic
Notes: Festschrift.

Includes bibliographical references and index.

.a44Also issued online.