Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs - Düntsch, Ivo; Mares, Edwin (Springer International Publishing, 2022)