LEADER 01370nam--2200385---450-
001 990003092010203316
005 20080417151542.0
010   $a978-3-540-75938-6
035   $a000309201
035   $aUSA01000309201
035   $a(ALEPH)000309201USA01
035   $a000309201
100   $a20080408d2007----km-y0itay50------ba
101   $aeng
102   $aDE
105   $ay---||||001yy
200 1 $aAlgebraic and proof-theoretic aspects of non-classical logics$ePapers in honor of Daniele Mundici on the occasion of his 60th birthday$fStefano Aguzzoli...[et al.] (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aVIII, 308 p.$d24 cm
225   $aLecture notes in computer science
225 2 $aLecture notes in artificial intelligence$iFestschrift$v4460
410  0$12001$aLecture notes in artificial intelligence$v4460
606 0 $aLogica matematica$xCongressi
676   $a511.3
700  1$aAGUZZOLI,$bStefano$0601059
801  0$aITA$bsalbc$gISBD
912   $a990003092010203316
951   $a006.3 LNAI 4460$b35933/CBS$c006.3$d00216753
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080408$lUSA01$h0831
979   $aANGELA$b90$c20080408$lUSA01$h0844
979   $aANGELA$b90$c20080417$lUSA01$h1515
996   $aAlgebraic and proof-theoretic aspects of non-classical logics$91019558
997   $aUNISA