Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs