Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 6 (1988), pp. 77-78
Citer cet article
A. A. Kuzichev; A. S. Kuzichev. A conservative extension of a formal arithmetic. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 6 (1988), pp. 77-78. http://geodesic.mathdoc.fr/item/VMUMM_1988_6_a20/
@article{VMUMM_1988_6_a20,
author = {A. A. Kuzichev and A. S. Kuzichev},
title = {A conservative extension of a formal arithmetic},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {77--78},
year = {1988},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_1988_6_a20/}
}
TY - JOUR
AU - A. A. Kuzichev
AU - A. S. Kuzichev
TI - A conservative extension of a formal arithmetic
JO - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY - 1988
SP - 77
EP - 78
IS - 6
UR - http://geodesic.mathdoc.fr/item/VMUMM_1988_6_a20/
LA - ru
ID - VMUMM_1988_6_a20
ER -
%0 Journal Article
%A A. A. Kuzichev
%A A. S. Kuzichev
%T A conservative extension of a formal arithmetic
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 1988
%P 77-78
%N 6
%U http://geodesic.mathdoc.fr/item/VMUMM_1988_6_a20/
%G ru
%F VMUMM_1988_6_a20
