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 | ||
sav07_lecture_1 [2007/03/22 23:40] vkuncak |
sav07_lecture_1 [2007/03/31 13:32] test |
||
---|---|---|---|
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 did in which lecture. | ||