Titre : |
Logique moderne : Logique des propositions et des prédicats déduction naturelle. Fascicule 1 |
Type de document : |
texte imprimé |
Auteurs : |
Grize, Jean-Blaise, Auteur |
Editeur : |
Paris : Gauthier-Villars |
Année de publication : |
1972 |
Collection : |
Mathématiques et sciences de l'homme num. 10 |
Importance : |
90 p. |
Présentation : |
ill. |
Format : |
23 cm. |
Note générale : |
Bibliogr. p. 81-84. |
Langues : |
Français (fre) |
Mots-clés : |
Logique moderne Symboles mathématiques |
Index. décimale : |
517.11 Introduction à l'analyse mathématique |
Résumé : |
L'ouvrage traité de la logique mathématique dans une perspective non algébrique.Il s'adresse, en effet, principalement aux étudiants et aux chercheurs en sciences humaines et non aux mathématiques... |
Note de contenu : |
Au sommaire:
1. Introduction.
2. La logique des propositions inanalysées.
3. La logique des prédicats du premier ordre. |
Logique moderne : Logique des propositions et des prédicats déduction naturelle. Fascicule 1 [texte imprimé] / Grize, Jean-Blaise, Auteur . - Paris : Gauthier-Villars, 1972 . - 90 p. : ill. ; 23 cm.. - ( Mathématiques et sciences de l'homme; 10) . Bibliogr. p. 81-84. Langues : Français ( fre)
Mots-clés : |
Logique moderne Symboles mathématiques |
Index. décimale : |
517.11 Introduction à l'analyse mathématique |
Résumé : |
L'ouvrage traité de la logique mathématique dans une perspective non algébrique.Il s'adresse, en effet, principalement aux étudiants et aux chercheurs en sciences humaines et non aux mathématiques... |
Note de contenu : |
Au sommaire:
1. Introduction.
2. La logique des propositions inanalysées.
3. La logique des prédicats du premier ordre. |
|