Logique mathematique - Tome 2 - Daniel Lascar, René Cori

• Date de sortie: 15-01-2003 2003-01-15
• Catégorie: Science et Technique
• Editeur: Dunod
• ISBN: 2100054538
• Vues: 2582
• Date d'ajout: 19/11/2020 14:50

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.