LARA This is an old revision of the document! Exercises 08 Discussion about projects. Ganzinger-Bachmaier Model Existence Theorem for Propositional Logic. (Slides) Homework analysis.