Fondements des mathématiques. Vol. 1
Auteur : David Hilbert
50,80 €
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