Titre :	Logique mathématique - Tome 2 - Fonctions récursives, théorème de Godel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
Type de document :	texte imprimé
Auteurs :	René Cori ; Daniel Lascar
Editeur :	Dunod
Année de publication :	2003
Collection :	Aide-Mémoire
Importance :	368 p
Format :	24 cm
ISBN/ISSN/EAN :	978210005453
Langues :	Arabe (ara)
Mots-clés :	Scientifiques et techniques et sciences humaines  Mathématiques  Sciences & Techniques  Collège  Logique
Résumé :	Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Godel et à la théorie des ensembles ainsi qu'à la théorie des modèles
En ligne :	//www.librairiedialogues.fr//ws/book/9782100054534/unimarc_utf-8

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Godel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Dunod, 2003 . - 368 p ; 24 cm. - (Aide-Mémoire) .
ISSN : 978210005453
Langues : Arabe (ara)

Mots-clés :	Scientifiques et techniques et sciences humaines  Mathématiques  Sciences & Techniques  Collège  Logique
Résumé :	Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Godel et à la théorie des ensembles ainsi qu'à la théorie des modèles
En ligne :	//www.librairiedialogues.fr//ws/book/9782100054534/unimarc_utf-8