Proofs and Models in Philosophical Logicby Greg RestallLogicWriting a summary for young readers…For young readersBook data: Open Library