Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs | lit.salon