Об одном способе моделирования классической арифметики второй ступени

Белякин, Н.В.. "Об одном способе моделирования классической арифметики второй ступени."代数i Logika22.1 (1983): 3-25. <http://eudml.org/doc/187203>.

@第{条1983，
作者={Беакин，Н.В.}，
journal={代数i逻辑}，
关键词={二阶算术；双量词二阶理解；超跳跃}的迭代，
语言={rus}，
数字={1}，
页数={3-25}，
publisher={Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所}，
标题=，
url={http://eudml.org/doc/187203},
体积={22}，
年份={1983年}，
}

TY-JOUR公司
AU-БеЛкин，Н.В。
TI-ОбоДномсПосотемоаниккассиескорааиарифметимиттаееатроирстуПеи
JO-代数i Logika
PY-1983年
PB-Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所
VL-22
IS-1标准
SP-3
EP-25
洛杉矶-罗斯
KW——二阶算术；双量词二级理解；超跳跃的迭代
UR-（欧元）http://eudml.org/doc/187203
急诊室-