Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Aguzzoli, Stefano (Επιμελητής έκδοσης), Ciabattoni, Agata (Επιμελητής έκδοσης), Gerla, Brunella (Επιμελητής έκδοσης), Manara, Corrado (Επιμελητής έκδοσης), Marra, Vincenzo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
• Σειρά: Lecture Notes in Computer Science, 4460
• Θέματα: Computer science.; Mathematical logic.; Artificial intelligence.; Computational linguistics.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Language Translation and Linguistics.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited e...