Titre de série :	Logique mathØmatique, 2
Titre :	Logique mathØmatique : cours et exercices corrigØs
Type de document :	texte imprimé
Auteurs :	RenØ Cori, Auteur ; Daniel Lascar, Auteur
Mention d'édition :	Nouv. prØsentation
Editeur :	Paris : Dunod
Année de publication :	2003
Collection :	Sciences sup
Sous-collection :	MathØmatiques
Importance :	XV-347 p.
Format :	25 x 18 cm
ISBN/ISSN/EAN :	978-2-10-005453-4
Prix :	39.9 EUR
Note générale :	Bibliogr. Index
Langues :	Français (fre)
Mots-clés :	logique symbolique et mathØmatique  manuels d'enseignement supØrieur  Godel, thØorLme de  fonctions rØcursives
Index. décimale :	378.51
Résumé :	PrØsente successivement les problLmes de rØcursivitØ et de formalisation de l'arithmØtique, les thØorLmes de Godel, la thØorie des ensembles ainsi que la thØorie des modLles. Chaque chapitre est accompagnØ de nombreux exercices corrigØs.

Logique mathØmatique, 2. Logique mathØmatique : cours et exercices corrigØs [texte imprimé] / RenØ Cori, Auteur ; Daniel Lascar, Auteur  . -  Nouv. prØsentation . - Paris : Dunod, 2003 . - XV-347 p. ; 25 x 18 cm. - (Sciences sup. MathØmatiques) .
ISBN : 978-2-10-005453-4 : 39.9 EUR
Bibliogr. Index
Langues : Français (fre)

Mots-clés :	logique symbolique et mathØmatique  manuels d'enseignement supØrieur  Godel, thØorLme de  fonctions rØcursives
Index. décimale :	378.51
Résumé :	PrØsente successivement les problLmes de rØcursivitØ et de formalisation de l'arithmØtique, les thØorLmes de Godel, la thØorie des ensembles ainsi que la thØorie des modLles. Chaque chapitre est accompagnØ de nombreux exercices corrigØs.