Differences
This shows you the differences between two versions of the page.
sav08:logic_for_mathematics_and_computer_science_textbook [2008/03/11 17:24] vkuncak created |
sav08:logic_for_mathematics_and_computer_science_textbook [2008/03/11 17:24] (current) vkuncak |
||
---|---|---|---|
Line 4: | Line 4: | ||
Predicate logic with equality. Term rewriting. | Predicate logic with equality. Term rewriting. | ||
+ | |||
+ | Software for Illustrating these ideas. | ||
* http://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html | * http://www.math.uwaterloo.ca/~snburris/htdocs/lmcs.html |