Algebraic and Proof-Theoretic Aspects of Non-Classical Logics
From Mathfuzzlog
Edited volume.
Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Table of contents is available here.
| Authors: |
|
|||||
| Title: | Algebraic and Proof-Theoretic Aspects of Non-Classical Logics | |||||
| Series: | Lecture Notes in Computer Science | |||||
| Volume: | 4460 | |||||
| Publisher: | Springer-Verlag | |||||
| City: | Heidelberg | |||||
| Year: | 2007 |
