Logique mathématique cours et exercices corrigés. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. 2
0
0
Author Description
Ce 2e 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.
Page Count:
347
Publication Date:
2003-01-01
ISBN-10:
2100807706
ISBN-13:
9782100807703