Logic For Philosophy P by Theodore Sider