Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 190 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (GOOD)
arithmétique récursive # calcul # fondement des mathématiques # logique # récursive # récursivité # théorie des nombres
03C57 ; 03D45
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 783 p.
Localisation : Ouvrage RdC (KNEA)
algèbre de Boole # logique # métathéorie # système de déductions # théorie de relation # théorie des ensembles
03-03 ; 03A05
... Lire [+]