m

Documents  Critères de recherche : "The development of logic" | enregistrements trouvés : 2

O
     

-A +A

P Q

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 [+]

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 [+]

Z