×

zbMATH — the first resource for mathematics

Found 68 Documents (Results 1–68)

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, 127-137 (2007).
MSC:  03G25 06F05 06D35
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Software