Université Nouveaux Horizons
Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
![détail détail](./getgif.php?nomgif=plus)
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
![détail détail](./getgif.php?nomgif=plus)
Titre : |
Logique moderne. Fascicule III : Implications- Modalités; logiques polyvalente |
Type de document : |
texte imprimé |
Auteurs : |
Jean-Blaise Grize, Auteur |
Editeur : |
Gauthier-Villars |
Année de publication : |
1973 |
Importance : |
104 p. |
Présentation : |
nn ill |
Format : |
23cm |
Langues : |
Français (fre) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Impication Logiques Ontologie et méréologie de lésniewski ... |
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 III : Implications- Modalités; logiques polyvalente [texte imprimé] / Jean-Blaise Grize, Auteur . - Gauthier-Villars, 1973 . - 104 p. : nn ill ; 23cm. Langues : Français ( fre)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Impication Logiques Ontologie et méréologie de lésniewski ... |
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