Titre :	Cours de logique mathématique Tome1 : Relation et formule logique
Type de document :	texte imprimé
Auteurs :	Fraisse Roland
Mention d'édition :	2éd
Editeur :	Paris : Gauthier-Villars
Année de publication :	1971
Importance :	197p
Format :	24x15.5 cm
Langues :	Français (fre)
Mots-clés :	Logique mathématique
Index. décimale :	510
Note de contenu :	Table des matiéres: 1.mot,formule 2.connection et formule connective 3.relation,multirelation,opérateur et prédicat 4.isomorphisme local;opérateur et formule libres 5.formule,opérateur,classe et équivalence logiques;théoréme du modéle dénombrable 6.théorémes de complétude et d'interpolation 7.interprétabilité entre relations

Cours de logique mathématique Tome1 : Relation et formule logique [texte imprimé] / Fraisse Roland  . -  2éd . - [S.l.] : Paris : Gauthier-Villars, 1971 . - 197p ; 24x15.5 cm.
Langues : Français (fre)

Mots-clés :	Logique mathématique
Index. décimale :	510
Note de contenu :	Table des matiéres: 1.mot,formule 2.connection et formule connective 3.relation,multirelation,opérateur et prédicat 4.isomorphisme local;opérateur et formule libres 5.formule,opérateur,classe et équivalence logiques;théoréme du modéle dénombrable 6.théorémes de complétude et d'interpolation 7.interprétabilité entre relations