Titre : |
Cours de logique mathØmatique.T1 : Relation et formule logique. |
Type de document : |
texte imprimé |
Auteurs : |
Roland Fraisse |
Mention d'édition : |
2Øme ed |
Editeur : |
Paris : gauthier-villard |
Année de publication : |
1971. |
Importance : |
197p. |
Format : |
24cm. |
Langues : |
Français (fre) |
Mots-clés : |
Relation et formule logique. |
Index. décimale : |
511.3 |
Résumé : |
Louvrage expose avec soin et rigueur les notions ØlØmentaires du calcul des connectios (non,et,ou) puis les notions de relation,formiule logique,comlØtude,interprØtabilitØ(tome1),thØorie,compacitØ,axiomatisabilitØ,ultraproduit,forcing(tome2). |
Cours de logique mathØmatique.T1 : Relation et formule logique. [texte imprimé] / Roland Fraisse . - 2Øme ed . - Paris : gauthier-villard, 1971. . - 197p. ; 24cm. Langues : Français ( fre)
Mots-clés : |
Relation et formule logique. |
Index. décimale : |
511.3 |
Résumé : |
Louvrage expose avec soin et rigueur les notions ØlØmentaires du calcul des connectios (non,et,ou) puis les notions de relation,formiule logique,comlØtude,interprØtabilitØ(tome1),thØorie,compacitØ,axiomatisabilitØ,ultraproduit,forcing(tome2). |
|