Symbolic logic - Agler, David W (Rowman & Littlefield Publishers, 2013)