| Titre : | Logique moderne : Logique 1: logique des propositions et des prédicats déduction naturelle |
| Auteurs : | Jean-Blaise Grize, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Mouton, 1972 |
| Autre Editeur : | Gauthier-Villars |
| Format : | 1 vol. (90 p.) / couv. ill. en coul. / 23cm |
| Langues: | Français |
| Mots-clés: | Mathématiques ; Logique moderne |
| Résumé : | L'ouvrage traite de la logique mathématique dans une perspective non algébrique. Il veut présenter la logique comme un instrument réellement applicable à l'analyse de situations et de problèmes divers. C'est la raison pour laquelle une importance particulière a été accordée à la "déduction naturelle", système ou des règles d'inférence tiennent la place des axiomes traditionnels. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 102-000543 | B4777 | Livre | 03. FST | B - Mathématiques - Astronomie | Exclu du prêt |
