| 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 |
| 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 | Fonds propre-bibliotheque centrale | matématique/ رياضيات | Libre accès Disponible |
| SC016108 | MA02082 | Livre | Fonds propre-bibliotheque centrale | matématique/ رياضيات | Libre accès Disponible |
