m
     
Ouvrage

H 0 Recursive number theory :
a development of recursive arithmetic in a logic-free equation calculus

Goodstein, R. L. (Principal)

North-Holland Publishing Co.

1964

190 p.

00004218

03C57 ; 03D45

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00004218

[disponible]
Z