Provable equality in primitive recursive arithmetic with and without induction.
Friedman, Harvey
Pacific J. Math., Tome 61 (1975) no. 2, p. 379-392 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1975-05-14
Classification:  02D99 
@article{1102905993,
     author = {Friedman, Harvey},
     title = {Provable equality in primitive recursive arithmetic with and without induction.},
     journal = {Pacific J. Math.},
     volume = {61},
     number = {2},
     year = {1975},
     pages = { 379-392},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102905993}
}

Friedman, Harvey. Provable equality in primitive recursive arithmetic with and without induction.. Pacific J. Math., Tome 61 (1975) no. 2, pp.  379-392. http://gdmltest.u-ga.fr/item/1102905993/