Je vous rappelle que Tero Tulenheimo continue à assurer l'encadrement de l'atelier "Techiques Formelles", le mercredi de 13h30 à 15h30. Programme : métathéorie de la logique de premier ordre.
Ouvrage de référence : Smullyan, First-Order Logic, Dover.
Prochaine séance : mercredi 12 avril. Reprise au §3, p. 57.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire