LARA

Exercises 08

  • Discussion about projects.
  • Ganzinger-Bachmaier Model Existence Theorem for Propositional Logic. (Slides)
  • Homework analysis.