Workbook for Essentials of Logic