Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs - Düntsch, Ivo 1947-; Mares, Edwin David (Springer, 2022)