TY - BOOK AU - Mundici,Daniele AU - Aguzzoli,Stefano ED - SpringerLink (Online service) TI - Algebraic and proof-theoretic aspects of non-classical logics: papers in honor of Daniele Mundici on the occasion of his 60th birthday T2 - Lecture notes in computer science, SN - 9783540759393 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Mundici, Daniele, KW - Nonclassical mathematical logic N1 - Festschrift; Includes bibliographical references and index; .a44Also issued online UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://link.springer.com/10.1007/978-3-540-75939-3 ER -