Logic for philosophy - Sider, Theodore (Oxford University Press, 2010)