01591nlm0 22004331i 450 9900092485704033219783540759393000924857FED01000924857(Aleph)000924857FED0100092485720100926d2007----km-y0itay50------baengDEdrnn-008mamaaAlgebraic and Proof-theoretic Aspects of Non-classical LogicsRisorsa elettronicaPapers in Honor of Daniele Mundici on the Occasion of His 60th birthdayedited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, VincBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434460Documento elettronicoTestoFormato html, pdfAguzzoli,StefanoCiabattoni,AgataGerla,BrunellaManara,CorradoMarra,VincenzoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-75939-3EB990009248570403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLanguage Translation and LinguisticsMathematical Logic and Formal LanguagesTranslators (Computer programs)Algebraic and Proof-theoretic Aspects of Non-classical Logics771862UNINA