Logique mathématique / Daniel Lascar  

Public ISBD Titre : Logique mathématique : Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Type de document : texte imprimé Auteurs : Daniel Lascar (1942-...), Auteur ; René Cori (19..-...), Auteur Editeur : Dunod Année de publication : 2003 Collection : sciences sup Importance : 368 p. Présentation : couv. en coul. ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-005453-4 Note générale : Index. Langues : Français (fre) Index. décimale : 04-07-Logique mathématique 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 Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. En ligne : http://www.librairiedialogues.fr//ws/notice/9782100054534/unimarc_utf-8 Logique mathématique : Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [texte imprimé] / Daniel Lascar (1942-...), Auteur ; René Cori (19..-...), Auteur . - Dunod, 2003 . - 368 p. : couv. en coul. ill. ; 24 cm.. - (sciences sup) . ISBN : 978-2-10-005453-4 Index. Langues : Français (fre) Index. décimale : 04-07-Logique mathématique 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 Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. En ligne : http://www.librairiedialogues.fr//ws/notice/9782100054534/unimarc_utf-8

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
127947	04-07-37	Livre	Bibliothèque de faculté d'informatique et mathématique	Mathématiques	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200