Séance du 19 novembre

Matthieu Fontaine nous parlera des approches substitutionnelle et objectuelle en logique de premier ordre, concernant l'interprétation des termes.
Comme prévu, cela se passera en salle A3.305 de 13h à 15h.