Code EAN13: 9782100807703
Auteur : CORI/LASCAR
Éditeur : DUNOD
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.
LOGIQUE MATHEMATIQUE - TOME 1 - CALCUL PROPOSITIONNEL, ALGEBRES DE BOOLE, CALCUL DES PREDICATS - CAL
CORI/LASCAR
DUNOD
Expédié sous 4 à 10 jours