mercredi 25 septembre 2013
Chapitre 2 du manuel maison (reprend le cours sur la sémantique formelle vériconditionnelle).
Chapitre 3 sur la sémantique de la quantification.