Recursive number theory :
a development of recursive arithmetic in a logic-free equation calculus
arithmétique récursive # calcul # fondement des mathématiques # logique # récursive # récursivité # théorie des nombres
Ville d'édition : Amsterdam
Pays d'édition : Pays-Bas
Langue : Anglais
Collation : Bibliogr. ; Index ; xii#22 cm#rel.
Collection : Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (GOOD)
Type d'ouvrage : Monographie
Disponibilité : empruntable
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00004218 | [disponible] |