Université Nouveaux Horizons
![Document: texte imprimé Document: texte imprimé](http://biblio.unhorizons.org/opac_css/images/icon_a_16x16.gif)
Titre : |
Logique moderne. Fascicule I : Logique des propositions et des prédicats déduction naturelle |
Type de document : |
texte imprimé |
Auteurs : |
Jean-Blaise Grize, Auteur |
Editeur : |
Gauthier-Villars |
Année de publication : |
1972 |
Importance : |
90 p. |
Présentation : |
nn ill |
Format : |
23cm |
Langues : |
Français (fre) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Logique des propositions inanalysées Logique des prédicats du premier ordre ... |
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 moderne. Fascicule I : Logique des propositions et des prédicats déduction naturelle [texte imprimé] / Jean-Blaise Grize, Auteur . - Gauthier-Villars, 1972 . - 90 p. : nn ill ; 23cm. Langues : Français ( fre)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Logique des propositions inanalysées Logique des prédicats du premier ordre ... |
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). |
|
Exemplaires