Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций

Р.А. Плюшкевичус

Zapiski naucnych seminarov Leningradskogo (1968)

  • Volume: 8, page 211-224

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 ?

top

You must be logged in to post comments.