Les notions logiques de base

Dans cette rubrique nous présentons, de la façon (nous l’espérons) la plus claire possible, les notions qui sont à la base des travaux des logiciens contemporains et qui permettent de se faire une idée du contenu et de l’importance de la théorie logique.