Titre :	Fondements des mathématiques : tome 1
Type de document :	texte imprimé
Auteurs :	David Hilbert (1862-1943), Auteur ; Paul Bernays (1888-1977), Auteur ; François Gaillard (1925-....), Traducteur ; Marcel Guillaume (1928-....), Traducteur
Editeur :	Paris : l'Harmattan
Année de publication :	2001
ISBN/ISSN/EAN :	978-2-7475-1518-4
Langues :	Français (fre) Langues originales : Allemand (ger)
Catégories :	Mathématiques Mathématiques:Mathématiques (manuels scolaires, mathématiques pures)
Mots-clés :	Mathématiques  Fondements
Index. décimale :	510 Mathématiques Générales
Résumé :	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.

Fondements des mathématiques : tome 1 [texte imprimé] / David Hilbert (1862-1943), Auteur ; Paul Bernays (1888-1977), Auteur ; François Gaillard (1925-....), Traducteur ; Marcel Guillaume (1928-....), Traducteur . - Paris : l'Harmattan, 2001.
ISBN : 978-2-7475-1518-4
Langues : Français (fre) Langues originales : Allemand (ger)

Catégories :	Mathématiques Mathématiques:Mathématiques (manuels scolaires, mathématiques pures)
Mots-clés :	Mathématiques  Fondements
Index. décimale :	510 Mathématiques Générales
Résumé :	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.