0 avis
Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,...
Livre
Edited by Dunod - 2003
        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.
    
Autres documents dans la collection «Sciences sup»
 
                                   
                               
                                   
                                   
                                   
                                   
                                  