Deductive Logic by Warren Goldfarb