Algebraic And Proof-Theoretic Aspects Of Non-Classical Logics door A. Ciabattoni