Proofs and Models in Philosophical Logic - Restall (Cambridge University Press, 2022)