On the role of the principle of induction in a formal arithmetic system
Sbornik. Mathematics, Tome 6 (1968) no. 1, pp. 65-95
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{SM_1968_6_1_a4,
author = {L. L. Tsinman},
title = {On the role of the principle of induction in a formal arithmetic system},
journal = {Sbornik. Mathematics},
pages = {65--95},
publisher = {mathdoc},
volume = {6},
number = {1},
year = {1968},
language = {en},
url = {http://geodesic.mathdoc.fr/item/SM_1968_6_1_a4/}
}
L. L. Tsinman. On the role of the principle of induction in a formal arithmetic system. Sbornik. Mathematics, Tome 6 (1968) no. 1, pp. 65-95. http://geodesic.mathdoc.fr/item/SM_1968_6_1_a4/