Proofs and models in philosophical logic - Restall, Greg 1969- (Cambridge University Press, 2022)