Page de Garde

Logique mathématique.T2, fonctions récursives, théorème de godel, théorie des ensembles, théorie des modèles

Type doc. :

Livre

Langue :

Français

Auteur(s) :

Cori; René
Lascar; Daniel
Krivine, Jean-Louis

Editeur(s) :

Dunod

Année d'édition :

2003

Sujet(s):
logique mathématique

ISBN :

2100054538
Voir Plus

Afficher le Résumé

Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de godel, la théorie des ensembles ainsi que la théorie des modèles. chaque chapitre est accompagné de nombreux exercices corrigés.



N° Bulletin Date / Année de parution Titre N° Spécial Sommaire
Cote Localisation Type de Support Type de Prêt Statut Date de Restitution Prévue Réservation
510 COR T2 C3 BIB-Centrale / Ouvrages Papier externe disponible
510 COR T2 C1 BIB-Centrale / Ouvrages Papier externe disponible
510 COR T2 C4 BIB-Centrale / Ouvrages Papier externe disponible
510 COR T2 C5 BIB-Centrale / Ouvrages Papier externe disponible
510 COR T2 C2 BIB-Centrale / Ouvrages Papier externe disponible
510 COR T2 C6 BIB-Centrale / Ouvrages Papier externe disponible
510 COR T2 C7 BIB-Centrale / Ouvrages Papier externe disponible
Cori, R. et al. (2003). Logique mathématique.T2, fonctions récursives, théorème de godel, théorie des ensembles, théorie des modèles . Dunod;