Algebraic and Proof-theoretic Aspects of Non-classical Logics [Risorsa elettronica] : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vinc
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540759393
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4460