01370nam--2200385---450-99000309201020331620080417151542.0978-3-540-75938-6000309201USA01000309201(ALEPH)000309201USA0100030920120080408d2007----km-y0itay50------baengDEy---||||001yyAlgebraic and proof-theoretic aspects of non-classical logicsPapers in honor of Daniele Mundici on the occasion of his 60th birthdayStefano Aguzzoli...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2007VIII, 308 p.24 cmLecture notes in computer scienceLecture notes in artificial intelligenceFestschrift44602001Lecture notes in artificial intelligence4460Logica matematicaCongressi511.3AGUZZOLI,Stefano601059ITAsalbcISBD990003092010203316006.3 LNAI 446035933/CBS006.300216753BKSCIANGELA9020080408USA010831ANGELA9020080408USA010844ANGELA9020080417USA011515Algebraic and proof-theoretic aspects of non-classical logics1019558UNISA