Translate

Showing posts with label 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)). Show all posts
Showing posts with label 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)). Show all posts