Child pages
  • Dependence logic, spring 2011

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0


The Exam will be held on Wednesday 11.5 at 12-16 in room B321.


  • Jouko Väänänen: Dependence Logic.
    A New Approach to Independence Friendly Logic.
    Series: London Mathematical Society Student Texts (No. 70).


Did you forget to register? What to do.