Библиография Лаврова И.А.


Скордев Д.
[1973]
Некоторые примеры универсальных функций, рекурсивно определяемых при помощи небольших систем равенств
Cб. Исследования по теории алгорифмов и математической логике, т. 1, М., ВЦ АН СССР, 134-177
74.01.100
статья

Вернуться к поиску