Symbolic logic syntax, semantics, and proof - Agler, David W., 1982- (Rowman & Littlefield Publishers, 2013)