1 - Logique mathematique, cours et exercices. II : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles - 2ème tirage corrigé |
1 - Logique mathematique, cours et exercices. II : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles - 2ème tirage corrigé |