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 logics1019558UNISA01259nam--2200433---450-99000270788020331620080320141527.088-7033-407-4000270788USA01000270788(ALEPH)000270788USA0100027078820060207d1990----km-y0itay0103----baitaIT||||||||001yyConferenze americanedi Gertrude Steina cura di Caterina Ricciardi e Grazia TrabattoniRomaLucarini[1990]XXXVI, 151 p.22 cmProposte2001Proposte2001001-------2001Stein,GertrudeConcezione della letteratura80920STEIN,Gertrude193008RICCIARDI,CaterinaTRABATTONI,GraziaITsalbcISBD990002707880203316II.8.A.1517277 DSLLBKDSLLDSLL11020060207USA011044DSLL11020060207USA011049DSLL11020060207USA011049DSLL9020080320USA011415Conferenze americane138261UNISA