CSSE 490: Logic: Day 19
Topics
Logic application presentation: Sachin Shinde:
Substructural logic
Assignments
Day 20, BC: Read sections 17.1 and 17.2
Day 23, BC: Proposal for
Logic System Tutorial