Lecture Notes in Computer Science
Volume 4460, 2007, DOI: 10.1007/978-3-540-75939-3

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara and Vincenzo Marra

About This Book

Title
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2007
DOI
10.1007/978-3-540-75939-3
ISBN
978-3-540-75938-6
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Sunday, October 28, 2007

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002