Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
sav08:exercise_08 [2008/04/22 15:38] piskac |
sav08:exercise_08 [2008/04/22 15:40] piskac |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| * Discussion about projects. | * Discussion about projects. | ||
| - | * Ganzinger-Bachmaier Model Existence Theorem for Propositional Logic. {{gbtalk.pdf|(Slides)}} | + | * Ganzinger-Bachmaier Model Existence Theorem for Propositional Logic. {{gbtalk.pdf|(Slides)}} |
| * Homework analysis. | * Homework analysis. | ||