"Philosophical Logic: An Introduction to Advanced Topics," by George Englebretsen and Charles Sayward