Elementary Logic by Robert Lover