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) 2007th Edition
2.88 MiB
Download ready in 3s