GEOTRUST SSL CERTIFICATE
Détail de la série
Documents disponibles dans cette série (2)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Axiomes | 1993Premier titre d'une nouvelle collection. Ce cours est issu d'un enseignement de 2e cycle. Nombreux exercices corrigés.
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Axiomes | 1993Consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Nombreux exercices corrigés.
