Help with Rewrite Rules

Logical System
gentzen

Replacement or Rewrite Rules

6/21/07

 

Rewrite Rules