Algebraic and proof-theoretic aspects of non-classical logics  papers in honor of Daniele Mundici on the occasion of his 60th birthday /  [electronic resource] : 
Stefano Aguzzoli ... [et al.] (eds.). 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2007. 
 - viii, 308 p. :  ill., digital ;  24 cm. 
 - Lecture notes in computer science,  Lecture notes in artificial intelligence.  FoLLI publications on logic, language and information.  4460.  0302-9743 ; .
 - Lecture notes in computer science ;  4460. Lecture notes in computer science.  Lecture notes in artificial intelligence. Lecture notes in computer science.  Lecture notes in artificial intelligence.  FoLLI publications on logic, language and information. .
<br/><br/> Festschrift. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/>
<br/><br/><label>ISBN: </label>9783540759393 
<br/><br/><label>Subjects--Personal Names: </label><br/>Mundici, Daniele, 1946- 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Nonclassical mathematical logic.