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

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

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de larithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi quà la théorie des modèles.

TÉLÉCHARGER

LIRE EN LIGNE

TAILLE DU FICHIER 6.58 MB
ISBN 9782100807703
AUTEUR René Cori
FICHIER Logique mathématique - Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles.pdf
DATE 07/05/2020

Logique mathématique. - Tome 2, Fonctions... de Daniel ... Découvrez sur decitre.fr Logique mathématique. - Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles par Daniel Lascar - Collection Sciences Sup - …