GEOTRUST SSL CERTIFICATE
| Titre : | Initiation à la logique formelle : avec exercices et corrigés |
| Auteurs : | Thierry Lucas, Auteur ; Isabelle Berlanger, Auteur ; Vincent Degauquier, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | 4e édition revue et augmentée |
| Editeur : | Bruxelles : De Boeck, 2014 |
| Collection : | Démarches de pensée, ISSN 1379-5287 |
| ISBN/ISSN/EAN : | 978-2-8041-8248-9 |
| Format : | 1 vol. (263 p.) / ill., couv. ill. en coul. / 24 cm |
| Résumé : |
-cet ouvrage propose une introduction a la logique contemporaine a la fois rigoureuse et accessible a tous
-il aborde d’emblée la logique propositionnelle et la logique des prédicats du première ordre sans en développer les aspects mathématiques mais sons négliger les technique fondamentales l'accent est particulièrement mis sur la logique comme outil d'analyse du langage |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| SC016107 | MA02081 | Livre | Magasin des Ouvrages | Mathématique | Exclu du prêt |
| SC016108 | MA02082 | Livre | Magasin des Ouvrages | Mathématique | Disponible |
