Бесконечные арифметические формулы и принцип рефлексии.
Н.В. Белякин; С.П. Одинцов; N. V. Beljakin; S. P. Odincov; N. V. Belǎkin; S. P. Odincov; N. V. Beljakin; S. P. Odincov
Algebra i Logika (1997)
- Volume: 36, Issue: 3, page 245-258
- ISSN: 0373-9252
Access Full Article
topHow to cite
topБелякин, Н.В., et al. "Бесконечные арифметические формулы и принцип рефлексии.." Algebra i Logika 36.3 (1997): 245-258. <http://eudml.org/doc/187811>.
@article{Белякин1997,
author = {Белякин, Н.В., Одинцов, С.П., Beljakin, N. V., Odincov, S. P., Belǎkin, N. V., Odincov, S. P., Beljakin, N. V., Odincov, S. P.},
journal = {Algebra i Logika},
keywords = {primitive recursive arithmetic; axiomatic system; reflection principles},
language = {rus},
number = {3},
pages = {245-258},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Бесконечные арифметические формулы и принцип рефлексии.},
url = {http://eudml.org/doc/187811},
volume = {36},
year = {1997},
}
TY - JOUR
AU - Белякин, Н.В.
AU - Одинцов, С.П.
AU - Beljakin, N. V.
AU - Odincov, S. P.
AU - Belǎkin, N. V.
AU - Odincov, S. P.
AU - Beljakin, N. V.
AU - Odincov, S. P.
TI - Бесконечные арифметические формулы и принцип рефлексии.
JO - Algebra i Logika
PY - 1997
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 36
IS - 3
SP - 245
EP - 258
LA - rus
KW - primitive recursive arithmetic; axiomatic system; reflection principles
UR - http://eudml.org/doc/187811
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.