Algebraic and Proof-Theoretic Aspects of Non-Classical Logics

From Mathfuzzlog
Jump to: navigation, search

Edited volume.

Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

Table of contents is available here.

Authors:
Stefano Aguzzoli
Agata Ciabattoni
Brunella Gerla
Corrado Manara
Vincenzo Marra
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