Об универсальной рекурсивной функции на допустимых множествах.
Algebra i Logika (1986)
- Volume: 25, Issue: 4, page 425-435
- ISSN: 0373-9252
Access Full Article
top
How to cite
topРуднев, В.А.. "Об универсальной рекурсивной функции на допустимых множествах.." Algebra i Logika 25.4 (1986): 425-435. <http://eudml.org/doc/187359>.
@article{Руднев1986,
author = {Руднев, В.А.},
journal = {Algebra i Logika},
keywords = {hereditary finite sets with urelements; admissible set; Kripke-Platek axiom system; universal recursive function},
language = {rus},
number = {4},
pages = {425-435},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Об универсальной рекурсивной функции на допустимых множествах.},
url = {http://eudml.org/doc/187359},
volume = {25},
year = {1986},
}
TY - JOUR
AU - Руднев, В.А.
TI - Об универсальной рекурсивной функции на допустимых множествах.
JO - Algebra i Logika
PY - 1986
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 25
IS - 4
SP - 425
EP - 435
LA - rus
KW - hereditary finite sets with urelements; admissible set; Kripke-Platek axiom system; universal recursive function
UR - http://eudml.org/doc/187359
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.