000 00603nam a2200157Ia 4500
008 191030s9999 xx 000 0 und d
020 _a978-3-540-75939-3
100 _aStefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra
245 0 _aAlgebraic and Proof-theoretic Aspects of Non-classical Logics
260 _aGermany
_bSpringer
_c2007
536 _aManagement
650 _aAlgebraic and Proof-theoretic Aspects of Non-classical Logics
650 _aComputer Science
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-540-75938-6
942 _cE_BOOK
999 _c58611
_d58611