Algebraic and Proof-Theoretical Aspects of Non-classical Logics: Papers in Honor o Daniele Mundici on the Occasion of His 60th Birthday

Б2.13, В2.1.

Algebraic and Proof-Theoretical Aspects of Non-classical Logics: Papers in Honor o Daniele Mundici on the Occasion of His 60th Birthday/Ed. by Aguzzoli S., Ciabattoni A., Gerla B., Manara C..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4460.-309 p.-(Lecture Notes in Artificial Intelligence).