Logic and philosophy: a modern introduction
by Tidman, Paul, Kahane, Howard, Hausman, Alan
A comprehensive introduction to logic that is both rigorous and user-friendly. Numerous carefully crafted exercise sets accompanied by crisp, clear exposition take you from sentential logic through first-order predicate logic, the theory of descriptions, and identity. As the tit…