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/31 13:31] test |
sav07_lecture_1 [2007/06/03 12:14] vkuncak |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| 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 ==== | + | ====== Over of the material ====== |
| + | |||
| + | Describe here what we do in which lecture. | ||
| - | Describe here what we did in which lecture. | ||