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

Name: Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
ISBN: 9782100807703

De René Cori, Daniel Lascar

ISBN-13

9782100807703

Éditeur

Dunod (Malakoff)

Date de publication

01/01/2019

Résumé

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 Godel et à la théorie des ensembles ainsi qu'à la t

0 annonce en vente actuellement

Je veux vendre ce livre

Du même rayon

Physique Chimie MPSI : Fiches-méthodes et exercices corrigés

Mathématiques PCSI (6e éd.) ouvrage coordonné par Nicolas Nguyen,... ; [par] Mathieu Fontes,... Walter Damin,... Christophe Jan,...

Mathieu Fontes, Walter Damin, Christophe Jan

La valeur de la science

Henri Poincaré

Géométrie différentielle avec 80 figures : Niveau L3-M1

Catherine Doss-Bachelet, Jean-Pierre Françoise, Claude Piquet

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

Résumé

Du même rayon

Physique Chimie MPSI : Fiches-méthodes et exercices corrigés

Les groupes : une structure précieuse

Neutron and Synchrotron Radiation for Condensed Matter Studies : Applications to Solid State Physics and Chemistry

Génie des procédés appliqué à l'industrie laitière

Le jardin météorologique : Et autres constructions climatiques

Génie électrique

Association de bétons et d'armatures à hautes performances : Projet national BHP 2000

Mathématiques PCSI (6e éd.) ouvrage coordonné par Nicolas Nguyen,... ; [par] Mathieu Fontes,... Walter Damin,... Christophe Jan,...

La valeur de la science

Géométrie différentielle avec 80 figures : Niveau L3-M1