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

Guardado en:
Detalles Bibliográficos
Autor principal: Goodstein, Reuben Louis, 1912-1985
Formato: Livre papier
Lenguaje:Anglais
Publicado: Amsterdam : North-Holland 1964.
Colección:Studies in logic and the foundations of mathematics
Materias:
Autres localisations: Voir dans le Sudoc
LEADER 00747nam a22001937a 4500
001 381803
008 851015t19641957xxe ||| |||| 00| 0 eng d
009 PPN027875083
041 0 |a eng 
082 |a 512.72 
100 1 |a Goodstein, Reuben Louis,  |d 1912-1985. 
245 1 0 |a Recursive number theory :  |b a development of recursive arithmetic in a logic-free equation calculus   |c by R. L. Goodstein. 
260 |a Amsterdam :  |b North-Holland,  |c 1964. 
300 |a 1 vol. (XII-190 p.) ;  |c 22 cm. 
490 1 |a Studies in logic and the foundations of mathematics 
504 |a Bibliogr. p. 188. Index 
650 |a Fonctions récursives 
650 |a Nombres, Théorie des 
997 |0 381803  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/IDP/  |z Orléans, IDP, 7356 GOO