L'atelier "Techniques Formelles" se tiendra chaque mercredi de 13h30 à 15h30.
Au programme : (poursuite de) la métathéorie de la logique de premier ordre, avec l'inépuisable Smullyan, First-Order Logic, Dover.
Prochaine séance : mercredi 27 septembre. Reprise à la partie II, p.41.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire