The fundamental principle to obey when writing rules is to write equivalence rules, that is, when writing a rule a => b, it is equivalent to show a to show b .
22
/teachers/anjp/textb...
Our original purpose in writing this book was to provide a text for the under graduate linear algebra course at the Massachusetts Institute of Technology.