Матиясевич Ю.В., РобинсонДж ...


Матиясевич Ю.В., Робинсон Дж.
[1974]
Два универсальных трехкванторных представления перечислимых множеств
Сб. Теория алгорифмов и матем. логика, М., ВЦ АН СССР, 112-123
73.10.81
статья

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