Book

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

by Ivo Düntsch, Edwin Mares