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