Telecharger Cours

Introduction à la Théorie des modèles

En théorie des modèles on définit en fait les formules du premier ordre, et la satisfaction pour des langages quelcon- ques. Un langage est la donnée du type d' ...



Download