Matematičeskie zametki, Tome 46 (1989) no. 3, pp. 12-21
Citer cet article
S. V. Goryachev. Arithmetic with a local reflection principle for Rosser provability formulas. Matematičeskie zametki, Tome 46 (1989) no. 3, pp. 12-21. http://geodesic.mathdoc.fr/item/MZM_1989_46_3_a2/
@article{MZM_1989_46_3_a2,
author = {S. V. Goryachev},
title = {Arithmetic with a local reflection principle for {Rosser} provability formulas},
journal = {Matemati\v{c}eskie zametki},
pages = {12--21},
year = {1989},
volume = {46},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1989_46_3_a2/}
}
TY - JOUR
AU - S. V. Goryachev
TI - Arithmetic with a local reflection principle for Rosser provability formulas
JO - Matematičeskie zametki
PY - 1989
SP - 12
EP - 21
VL - 46
IS - 3
UR - http://geodesic.mathdoc.fr/item/MZM_1989_46_3_a2/
LA - ru
ID - MZM_1989_46_3_a2
ER -
%0 Journal Article
%A S. V. Goryachev
%T Arithmetic with a local reflection principle for Rosser provability formulas
%J Matematičeskie zametki
%D 1989
%P 12-21
%V 46
%N 3
%U http://geodesic.mathdoc.fr/item/MZM_1989_46_3_a2/
%G ru
%F MZM_1989_46_3_a2
