Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:general_information [2008/03/11 23:01] vkuncak |
sav08:general_information [2008/03/11 23:02] vkuncak |
||
|---|---|---|---|
| Line 30: | Line 30: | ||
| An Introduction to [[Mathematical Logic and Type Theory]] Textbook contains a lot of relevant and important theorems. | An Introduction to [[Mathematical Logic and Type Theory]] Textbook contains a lot of relevant and important theorems. | ||
| - | [[Logic for Mathematics and Computer Science]] Textbook has very good treatment of equational logic. | + | [[Logic for Mathematics and Computer Science Textbook]] has a very good treatment of equality in logic. |
| [[:sav07_resource|Some online resources]] for the class. | [[:sav07_resource|Some online resources]] for the class. | ||