Explore l'approximation du gaz dilué instantané, les corrections perturbatives et la fonction de partition tordue, en mettant l'accent sur l'évitement des multi-instants.
Explore les quantificateurs avec des domaines finis, le quantificateur d'unicité, les instructions composites, la liaison de variables et la validité en logique.
