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 2025

Fiche Technique

Paru le : 15/11/2001

Thématique : Mathématiques Appliquées

Auteur(s) : Auteur : David Hilbert Auteur : Paul Bernays

Éditeur(s) : L'Harmattan

Collection(s) : Non précisé.

Contributeur(s) : Traducteur : - Traducteur :

Série(s) : Fondements des mathématiques

ISBN : Non précisé.

EAN13 : 9782747515184

Reliure : Broché

Pages : 607

Hauteur: 24.0 cm / Largeur 16.0 cm

Épaisseur: 3.2 cm

Poids: 962 g

50,80 €

Chargement...