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,...

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

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

Edited by Dunod - 2003

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.

Autres documents dans la collection «Sciences sup»

Language: français
Physical description: 1 vol. (XV-347 p.) ; couv. ill. en coul. ; 24 cm

Publication date: 2003

Collection

Sciences sup ; . Mathématiques

Other title

Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés (Autre variante du titre)

Contributors: Krivine, Jean-Louis (1939-....). Préfacier, etc.

ISBN: 2-1000-5453-8 ; 978-2-10-080770-3
EAN: 9782100054534 ; 9782100807703

Subjects

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

Logic, language, and meaning / L. T. F. Gamut

Livre | Gamut, L. T. F. Auteur | 1991

Mathématiques appliquées à la gestion : outils mathématiques pour la gestio...

Livre | Posière, Jean-Pierre. Auteur | 2005

500 exercices de mathématiques en ECS / Hédi Joulak,...

Livre | Joulak, Hédi (1978-....). Auteur | 2020 - 2e édition

Mini manuel de probabilités et statistique : cours + QCM / Françoise Couty-...

Livre | Couty-Fredon, Françoise (19..-....). Auteur | 2018 - 3e édition

Comment aller à l'essentiel, comprendre les méthodes et les démarches avant de les mettre en application ? Conçus pour faciliter l'apprentissage des notions essentielles, les Mini Manuels proposent : un cours concis et richement i...

Maths : MP-MPI : nouveaux programmes / Maxime Bailleul, François-Xavier Man...

Livre | Bailleul, Maxime (1987-....). Auteur | 2022

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

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

Chargement des enrichissements...