Former Google Sites page: https://sites.google.com/site/gonzalezstephaneuniv/teaching-enseignement/logic-and-set