Titre :	Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Type de document :	texte imprimé
Auteurs :	Gilles Dowek, Auteur
Editeur :	Palaiseau : les Éd. de l'École polytechnique
Année de publication :	impr. 2010
ISBN/ISSN/EAN :	978-2-7302-1569-5
Note générale :	La 4ème de couv. porte : "Informatique"
Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Logique symbolique et mathématique  Algorithmes
Index. décimale :	511 Principes généraux des mathématiques

Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [texte imprimé] / Gilles Dowek, Auteur . - Palaiseau : les Éd. de l'École polytechnique, impr. 2010.
ISBN : 978-2-7302-1569-5
La 4ème de couv. porte : "Informatique"

Catégories :	Mathématiques Mathématiques:Principes généraux des mathématiques
Mots-clés :	Logique symbolique et mathématique  Algorithmes
Index. décimale :	511 Principes généraux des mathématiques