Вычислимость частичных функций и перечислимость множеств в арифметике Пеано
Sibirskij matematiceskij zurnal (1979)
- Volume: 20, Issue: 6, page 1269-1274
- ISSN: 0037-4466; 1573-9260/e
Access Full Article
top
How to cite
topЛавров, И.А.. "Вычислимость частичных функций и перечислимость множеств в арифметике Пеано." Sibirskij matematiceskij zurnal 20.6 (1979): 1269-1274. <http://eudml.org/doc/61975>.
@article{Лавров1979,
author = {Лавров, И.А.},
journal = {Sibirskij matematiceskij zurnal},
keywords = {Peano arithmetic; partial recursive function; representing function; incompleteness},
language = {rus},
number = {6},
pages = {1269-1274},
publisher = {Izd. AN SSSR},
title = {Вычислимость частичных функций и перечислимость множеств в арифметике Пеано},
url = {http://eudml.org/doc/61975},
volume = {20},
year = {1979},
}
TY - JOUR
AU - Лавров, И.А.
TI - Вычислимость частичных функций и перечислимость множеств в арифметике Пеано
JO - Sibirskij matematiceskij zurnal
PY - 1979
PB - Izd. AN SSSR
VL - 20
IS - 6
SP - 1269
EP - 1274
LA - rus
KW - Peano arithmetic; partial recursive function; representing function; incompleteness
UR - http://eudml.org/doc/61975
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.