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

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

Алгебра и логика : Сб.науч.тр. / Институт математики им. С.Л. Соболева (Новосибирск) ; Гл. ред.: Юрий Леонидович Ершов. – Новосибирск : [Б.и.].

С131 + С14


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