Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein,..

Date : 1957

Editeur / Publisher : Amsterdam : North-Holland , cop. 1957

Type : Livre / Book

Langue / Language : anglais / English

Fonctions récursives

Récursivité, Théorie de la

Théorie des nombres

Goodstein, Reuben Louis (1912-1985) (Auteur / author)

Collection : Studies in logic and the foundations of mathematics / Amsterdam : North-Holland , 1951-