Logic For Philosophy C by Theodore Sider