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