000 00637nam a2200145Ia 4500
008 191030s9999 xx 000 0 und d
020 _a9783642547898
100 _aClaudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
245 0 _aCategories and Types in Logic, Language, and Physics
260 _bSpringer
_c2014
440 _aLecture Notes in Computer Science
653 _aMathematical Logic and Formal Languages; Computation by Abstract Devices; Logics and Meanings of Programs; History of Computing; Computer Science, general
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-642-54788-1
942 _cEB
999 _c42355
_d42355