×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–13)

100
MathJax
Aguzzoli, Stefano (ed.) et al., Algebraic and proof-theoretic aspects of non-classical logics. Papers in honor of Daniele Mundici on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-540-75938-6/pbk). Lecture Notes in Computer Science 4460. Lecture Notes in Artificial Intelligence, 247-274 (2007).
MSC:  03B50 03G25
PDF BibTeX XML Cite
Full Text: DOI