| Titre : | Logique moderne : Logique des propositions et des prédicats déduction naturelle. Fascicule 1 |
| Auteurs : | Grize, Jean-Blaise, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Gauthier-Villars, 1972 |
| Collection : | Mathématiques et sciences de l'homme, num. 10 |
| Format : | 90 p. / ill. / 23 cm. |
| Note générale : | Bibliogr. p. 81-84. |
| Langues : | Français |
| Index. décimale : | 517.11 (Introduction à l'analyse mathématique) |
| Tags : | Logique moderne ; Symboles mathématiques |
| 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. |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 517.11 GRI | Papier | Bibliothèque Centrale | Mathématiques | Disponible | Consultation sur place |
