Logic workbook for Logic by Gordon H. Clark