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)

classical

von Stefano Aguzzoli

Taschenbuch

ISBN-13: 978-3-540-75938-6

ISBN-10: 3-540-75938-7

Springer · 2007