Einschreibeoptionen
Introduction - Reminder on bases on logics (syntax, semantics...) and
overview of several logics (propositional, first order, modal...)
- Trainer/in: Isabelle Bloch
- Trainer/in: Louis Jachiet
Selbsteinschreibung as 'Teilnehmer/in'
Gäste können auf diesen Kurs nicht zugreifen. Melden Sie sich bitte an.