Titre : |
Eléments de logique mathématique : Théorie des modèles |
Type de document : |
texte imprimé |
Auteurs : |
G. Kreisel, Auteur ; J.L. KRIVINE, Auteur |
Editeur : |
Paris : Dunod |
Année de publication : |
1967 |
Collection : |
Monpgraphies de la société mathématique de France |
Importance : |
212 p. |
Présentation : |
nn ill |
Format : |
25 cm |
Langues : |
Français (fre) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Calcul des prédicats Fondements des mathématiques etc .... |
Index. décimale : |
511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types). |
Eléments de logique mathématique : Théorie des modèles [texte imprimé] / G. Kreisel, Auteur ; J.L. KRIVINE, Auteur . - Paris : Dunod, 1967 . - 212 p. : nn ill ; 25 cm. - ( Monpgraphies de la société mathématique de France) . Langues : Français ( fre)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Calcul des prédicats Fondements des mathématiques etc .... |
Index. décimale : |
511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types). |
|