Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Fondements des mathématiques. Vol. 2

Éditeur(s): L'Harmattan
Présente les résultats les plus pointus dans la recherche en théorie de la preuve. Contient une explication complète du programme technique, élaborée par Hilbert en vue de prouver la non-contradiction de l'arithmétique de Peano du premier ordre. ©Electre 2024
56,00 €
Chargement...

Fondements des mathématiques. Vol. 1

Éditeur(s): L'Harmattan
Traite des propositions, des prédicats du premier ordre, de la récursivité primitive, et de la formalisation de l'arithmétique. Des algorithmes de décision y sont développés et les opérateurs de description sont entièrement traités. ©Electre 2024
50,80 €
Chargement...
1