Résultat de la recherche
1 résultat(s) recherche sur le tag 'Logique symbolique et mathématique
Algorithmes' ![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é
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécid[...]Exemplaires (4)
Cote Support Localisation Disponibilité S8/77297 Livre Bibliothèque centrale Disponible S8/77298 Livre Bibliothèque centrale Disponible S8/77299 Livre Bibliothèque centrale Disponible S8/77300 Livre Bibliothèque centrale Disponible
![](./images/home.jpg)