Philosophical Logic by Charles Sayward & George Englebretsen