TY  - BOOK
AU  - Головков, С.Л.
AU  - Наумов, Н. А.
AU  - Смирнов, В.К.
TI  - О некоторых новых средствах языка рекурсивных функций
T2  - Институт прикладной математики им. М.В. Келдыша АН СССР
PY  - 1982///
CY  - М.
PB  - ИПМ
N2  - Библиогр.: с. 28-29
ER  -