Elementary Logic: Revised Edition