Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Cori René, Lascar Daniel

Date de parution 04/02/2020

EAN: 9782100807703

Disponibilité Disponible chez l'éditeur

45,00 €

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.

Informations détaillées

Nom d'attribut	Valeur d'attribut
Common books attribute
Éditeur	DUNOD
Nombre de pages	368
Langue du livre	Français
Auteur	Cori René, Lascar Daniel
Format	Paperback / softback
Type de produit	Livre
Date de parution	04/02/2020
Poids	638 g
Dimensions (épaisseur x largeur x hauteur)	2,00 x 17,00 x 24,00 cm

Résumé

T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles