Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
sav07_lecture_1 [2007/03/31 13:31] test |
sav07_lecture_1 [2007/05/07 10:51] 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 did in which lecture. | + | Describe here what we do in which lecture. |
+ | [[test]] |