LOGIQUE MATHEMATIQUE TOME 2: FONCTIONS RECURSIVES 2ND ED.

CORI

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.

Sommaire :
Récursivité. Formalisation de l'arithmétique. Théorèmes de Gödel.
Théorie des ensembles. Un peu de théorie des modèles. Solutions des
exercices.

dunod - page 1
dunod - page 2
dunod - page 3
dunod - page 4
dunod - page 5
dunod - page 6
dunod - page 7
dunod - page 8
dunod - page 9
dunod - page 10
dunod - page 11
dunod - page 12
Librairie spécialisée en ouvrages scientifiques et techniques