Algebraic and Proof-theoretic Aspects of Non-classical Logics

Format:: e-book
Title:: Algebraic and Proof-theoretic Aspects of Non-classical Logics
Author:: Aguzzoli, Stefano; Ciabattoni, Agata; Gerla, Brunella; Manara, Corrado; Marra, Vincenzo; Mundici, Daniele; Ciabattoni, A.; Gerla, B.; Manara, C.; Marra, V.
Language:: English
Publisher:: Springer Berlin Heidelberg 2007
ISBN:: 3-540-75938-7
3-540-75939-5
Subject:: Information Technology Artificial Intelligence
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000490290?locale=en