Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav08:general_information [2008/03/11 22:46] vkuncak |
sav08:general_information [2008/03/11 23:02] vkuncak |
||
|---|---|---|---|
| Line 29: | Line 29: | ||
| 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 a very good treatment of equality in logic. | ||
| [[:sav07_resource|Some online resources]] for the class. | [[:sav07_resource|Some online resources]] for the class. | ||