BIBLIOTHEQUE MISM
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Mathématique.' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Titre : Cours de logique mathématique : Théorie des modèles :T.2 Type de document : texte imprimé Auteurs : R.Fraisse, Auteur Mention d'édition : 2 éd Editeur : Paris : Guathier-Villars. Année de publication : 1972 Importance : 177 p Format : 24x15 cm Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Mathématique. Index. décimale : 510 Résumé : / Note de contenu : Table des matiéres:
1.isomorphisme local et formule logique;théorémes de la restriction logique et de compacité
2.élimination des quanteurs
3.théorémes d'extension
4.théorie,axiomatique
5.uitraproduit
6.forcing
7.isomorphismes et équivalences en rapport avec le calcul des formules infinies à quanteurs finisCours de logique mathématique : Théorie des modèles :T.2 [texte imprimé] / R.Fraisse, Auteur . - 2 éd . - Paris : Guathier-Villars., 1972 . - 177 p ; 24x15 cm.
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Mathématique. Index. décimale : 510 Résumé : / Note de contenu : Table des matiéres:
1.isomorphisme local et formule logique;théorémes de la restriction logique et de compacité
2.élimination des quanteurs
3.théorémes d'extension
4.théorie,axiomatique
5.uitraproduit
6.forcing
7.isomorphismes et équivalences en rapport avec le calcul des formules infinies à quanteurs finisRéservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 90/11946 L/510.168 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 90/11947 L/510.168 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 90/11948 L/510.168 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible