A formal number-termed system based on recursion
McMinn, Trevor J.
Rocky Mountain J. Math., Tome 4 (1974) no. 4, p. 649-672 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1974-12-15
Classification:  02-01,  02F99,  10-01,  10A99,  68A40 
@article{1250130811,
     author = {McMinn, Trevor J.},
     title = {A formal number-termed system based on recursion},
     journal = {Rocky Mountain J. Math.},
     volume = {4},
     number = {4},
     year = {1974},
     pages = { 649-672},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1250130811}
}

McMinn, Trevor J. A formal number-termed system based on recursion. Rocky Mountain J. Math., Tome 4 (1974) no. 4, pp.  649-672. http://gdmltest.u-ga.fr/item/1250130811/