Français
Recursive number theory :
a development of recursive arithmetic in a logic-free equation calculus
Ouvrage
arithmétique récursive # calcul # fondement des mathématiques # logique # récursive # récursivité # théorie des nombres
Publisher City : Amsterdam
Publisher country : Pays-Bas
Language : English
Collation : Bibliogr. ; Index ; xii#22 cm#rel.
Series : Studies in logic and the foundations of mathematics
Location : Ouvrage RdC (GOOD)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00004218 | [available] |
