Algebraic and Proof-theoretic Aspects of Non-classical Logics

Full text!
Type:
e-book
Titel:
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Auteur:
Aguzzoli, Stefano; Ciabattoni, Agata; Gerla, Brunella; Manara, Corrado; Marra, Vincenzo; Mundici, Daniele; Ciabattoni, A.; Gerla, B.; Manara, C.; Marra, V.
Taal:
Engels
Uitgever:
Springer Berlin Heidelberg 2007
ISBN:
3-540-75938-7
3-540-75939-5
Onderwerp:
Information Technology Artificial Intelligence
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000490290