Titre : |
Introduction à la logique mathématique |
Type de document : |
texte imprimé |
Auteurs : |
P.S. Novikov, Auteur ; CH SARTHOU, Traducteur |
Editeur : |
Paris : Dunod |
Année de publication : |
1964 |
Importance : |
332 p. |
Présentation : |
nn ill |
Format : |
24cm |
Langues : |
Français (fre) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Algèbre des propositions Calul des propositions Logique des prédicats ... |
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). |
Introduction à la logique mathématique [texte imprimé] / P.S. Novikov, Auteur ; CH SARTHOU, Traducteur . - Paris : Dunod, 1964 . - 332 p. : nn ill ; 24cm. Langues : Français ( fre)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Algèbre des propositions Calul des propositions Logique des prédicats ... |
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). |
|