Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VIII, Tome 88 (1979), pp. 106-130
Citer cet article
G. E. Mints. A new reduction sequence for arithmetic. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part VIII, Tome 88 (1979), pp. 106-130. http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a8/
@article{ZNSL_1979_88_a8,
author = {G. E. Mints},
title = {A~new reduction sequence for arithmetic},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {106--130},
year = {1979},
volume = {88},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a8/}
}
TY - JOUR
AU - G. E. Mints
TI - A new reduction sequence for arithmetic
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1979
SP - 106
EP - 130
VL - 88
UR - http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a8/
LA - ru
ID - ZNSL_1979_88_a8
ER -
%0 Journal Article
%A G. E. Mints
%T A new reduction sequence for arithmetic
%J Zapiski Nauchnykh Seminarov POMI
%D 1979
%P 106-130
%V 88
%U http://geodesic.mathdoc.fr/item/ZNSL_1979_88_a8/
%G ru
%F ZNSL_1979_88_a8
