Вычислимые функционалы и арифметика ординальных типов
Sibirskij matematiceskij zurnal (1986)
- Volume: 27, Issue: 4, page 41-51
- ISSN: 0037-4466; 1573-9260/e
Access Full Article
topHow to cite
topГанов, В.А.. "Вычислимые функционалы и арифметика ординальных типов." Sibirskij matematiceskij zurnal 27.4 (1986): 41-51. <http://eudml.org/doc/62722>.
@article{Ганов1986,
author = {Ганов, В.А.},
journal = {Sibirskij matematiceskij zurnal},
keywords = {computable functionals; arithmetic of ordinal types; n-th degree arithmetic},
language = {rus},
number = {4},
pages = {41-51},
publisher = {Izd. AN SSSR},
title = {Вычислимые функционалы и арифметика ординальных типов},
url = {http://eudml.org/doc/62722},
volume = {27},
year = {1986},
}
TY - JOUR
AU - Ганов, В.А.
TI - Вычислимые функционалы и арифметика ординальных типов
JO - Sibirskij matematiceskij zurnal
PY - 1986
PB - Izd. AN SSSR
VL - 27
IS - 4
SP - 41
EP - 51
LA - rus
KW - computable functionals; arithmetic of ordinal types; n-th degree arithmetic
UR - http://eudml.org/doc/62722
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.