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

Cori, René. Auteur | Lascar, Daniel (1942-....). Auteur

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»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul de...

Livre | Cori, René. Auteur | 2003

Du même sujet

Objectif 600 au TAGE-MAGE® : savoir-faire, techniques et astuces / Igal Nat...

Livre | Natan, Igal. Auteur | 2015 - 5e édition

Réussir le Tage Mage® : tout-en-un / Marie-Virginie Speller

Livre | Speller, Marie-Virginie. Auteur | 2014

Financial optimization / edited by Stavros A. Zenios

Livre | 1993

Les modèles politiques / Jacques Attali,...

Livre | Attali, Jacques (1943-....). Auteur | 1972

Physique : outils mathématiques, métrologie, électrostatique, magnétostatiq...

Livre | Cavillon, Fabrice (1969-...). Auteur | 2018 - 3e édition

La 4e de couv. indique : "Ce livre s'adresse principalement aux étudiants en PACES qui y trouveront la majeure partie du programme de l'unité d'enseignement du premier semestre intitulée "bases physiques des méthodes d'exploration...

Statistique descriptive / Maurice Lethielleux,...

Livre | Lethielleux, Maurice. Auteur | 2016 - 8e édition

"Comment aller à l'essentiel, comprendre les méthodes et les démarches avant de les mettre en application ? Conçue pour faciliter aussi bien l'apprentissage que la révision, la collection 'EXPRESS' vous propose une présentation si...

Chargement des enrichissements...