Электронный каталог

Многотомник
С14

Ершов, Ю.Л.
Теория нумераций : Спецкурс для студентов-матем. НГУ / Ю.Л.Ершов. – Новосибирск : [Б.и.], 1974.
Книга
С14 Е-804

Ч.2 : . – 1973. – 169 с.

С14


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ