Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / R. L. Goodstein
Type de document : MonographieCollection : Studies in logic and the foundations of mathematicsLangue : anglais.Pays: Pays Bas.Éditeur : Amsterdam : North-Holland, 1957Description : 1 vol. (XII-190 p.) ; 22 cmISBN: s.n..ISSN: 0049-237X.Bibliographie : Bibliogr. p. 187-188. Index.Sujet MSC : 03Axx, Philosophical aspects of logic and foundations03Dxx, Mathematical logic and foundations - Computability and recursion theory
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Monographie | CMI Salle 1 | 03 GOO (Browse shelf(Opens below)) | Available | 04195-01 |
Bibliogr. p. 187-188. Index
There are no comments on this title.