Résultat de la recherche
1 recherche sur le mot-clé 'logique symbolique et mathØmatique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique mathØmatique, 2. Logique mathØmatique / RenØ Cori
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. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité bfs17223 510-515-247/01 Livre Salle des thèses 515 Analyse Disponible bfs40920 510-515-247/02 Livre Salle des thèses 515 Analyse Disponible BFSD18624 510-515-247/02 Livre Salle des thèses 515 Analyse Disponible bfs40919 510-515-247/03 Livre Salle des thèses 515 Analyse Disponible