Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles, 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
Format
Poche
EAN13
9782100054534
ISBN
978-2-10-005453-4
Éditeur
Dunod
Date de publication
Collection
Sciences Sup (2)
Nombre de pages
368
Dimensions
24 x 17 cm
Poids
621 g
Langue
français
Code dewey
510
Fiches UNIMARC
S'identifier

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

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

De ,

Dunod

Sciences Sup

Indisponible
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.
S'identifier pour envoyer des commentaires.

Autres contributions de...