Algebraic and Proof-Theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Computer Science (4460), Band 4460)
von
Stefano Aguzzoli
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-75938-6
ISBN-10: 3-540-75938-7
Springer
· 2007
