TY - BOOK AU - Restall TI - Proofs and Models in Philosophical Logic SN - 9781009040457 PB - Cambridge University Press UR - https://doi.org/10.1017/9781009040457 ER -