MATH547DS L03: Formal Rules

Overview