Résultat de la recherche
1 résultat(s) recherche sur le tag 'Logique symbolique et mathématique
Algorithmes' 
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
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
Accueil
