Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Zapiski naucnych seminarov Leningradskogo (1968)
- Volume: 8, page 211-224
Access Full Article
top
How to cite
topПлюшкевичус, Р.А.. "Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций." Zapiski naucnych seminarov Leningradskogo 8 (1968): 211-224. <http://eudml.org/doc/188125>.
@article{Плюшкевичус1968,
author = {Плюшкевичус, Р.А.},
journal = {Zapiski naucnych seminarov Leningradskogo},
keywords = {recursion theory, constructive mathematics},
language = {rus},
pages = {211-224},
publisher = {Nauka},
title = {Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций},
url = {http://eudml.org/doc/188125},
volume = {8},
year = {1968},
}
TY - JOUR
AU - Плюшкевичус, Р.А.
TI - Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
JO - Zapiski naucnych seminarov Leningradskogo
PY - 1968
PB - Nauka
VL - 8
SP - 211
EP - 224
LA - rus
KW - recursion theory, constructive mathematics
UR - http://eudml.org/doc/188125
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.