First-Order Logic by Frederic P. Miller, Agnes F. Vandome & John Heil