Résultat de la recherche
1 résultat(s) recherche sur le tag 'Démonstration automatique
Logique (mathématiques)' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Stéphane Devismes ; Pascal Lafourcade ; Michel Lévy | Paris : Ellipses | Techno sup. Informatique théorique | 2012Destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner. L'ouvrage ne nécessite pas de connaissances a priori en logiq[...]Exemplaires (4)
Cote Support Localisation Disponibilité S4/23645 Livre Bibliothèque centrale Disponible S4/23646 Livre Bibliothèque centrale Disponible S4/23647 Livre Bibliothèque centrale Disponible S4/23648 Livre Bibliothèque centrale Disponible
![](./images/home.jpg)