Aguzzoli, Stefano, et al <br/><br/>
Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource]  Proceedings 
by Stefano Aguzzoli, et al 
 - Berlin  Springer  2007 
<br/><br/> http://dx.doi.org/10.1007/978-3-540-75939-3 
<br/><br/><label>ISBN: </label>9783540759393 
<br/><br/><label>Dewey Class. No.: </label>511.31  / (e-book)