Titre : |
Logique mathéùatique |
Type de document : |
texte imprimé |
Auteurs : |
Daniel Ponasse, Auteur |
Editeur : |
Paris : O.C.D.E. |
Année de publication : |
1967 |
Importance : |
163 p. |
Présentation : |
nn ill. |
Format : |
20 cm |
Langues : |
Français (fre) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Axiomes 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). |
Logique mathéùatique [texte imprimé] / Daniel Ponasse, Auteur . - Paris : O.C.D.E., 1967 . - 163 p. : nn ill. ; 20 cm. Langues : Français ( fre)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Axiomes 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). |
|