Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav07_lecture_1 [2007/03/22 23:40] vkuncak |
sav07_lecture_1 [2007/06/03 12:14] vkuncak |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| A good background reading for this course are some parts of [[Gallier Logic Book]] although we will review some of them. | A good background reading for this course are some parts of [[Gallier Logic Book]] although we will review some of them. | ||
| + | |||
| + | ====== Over of the material ====== | ||
| + | |||
| + | Describe here what we do in which lecture. | ||
| + | |||