Ivo Düntsch, Edwin Mares <br/><br/>
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs 

 -  Springer  Springer  2022 
<br/><br/><label>ISBN: </label>9783030714307 
<br/><br/><label>Source: </label>EBOOK