Catalogue en ligne Documentation FeRMI

Logique mathématique. Tome 2, fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles / René Cori (2003)

Titre :

Logique mathématique. Tome 2, fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles : cours et exercices corrigés

Type de document :

texte imprimé

Auteurs :

Editeur :

Année de publication :

2003

Collection :

Importance :

XV-347 p.

Présentation :

Broché. Couv.ill.en coul., tabl.

Format :

26 cm

ISBN/ISSN/EAN :

978-2-10-005453-4

Langues :

Français (fre)

Catégories :

Mots-clés :

Index. décimale :

Résumé :

V - Récursivité - VI Formalisation de l'arithmétique, théorèmes de Gödel - VII Théorie des ensembles - VIII Un peu de théorie des modèles

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ003051	02.10.COR	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible