Поиск :
Личный кабинет :
Электронный каталог: .
.
Доступно
1 из 1
1 из 1
Заказать 
На полку
Многотомник
С131
Алгебра и логика : Сб.науч.тр. / Институт математики им. С.Л. Соболева (Новосибирск) ; Гл. ред.: Юрий Леонидович Ершов. – Новосибирск : [Б.и.].
Книга
С131 А-456
Т.32,No.1 : . / Гл. ред.: Юрий Леонидович Ершов. – Новосибирск : [Б.и.], 1993. – 112 с. : ил.
С 131 + С 14
Индексный (книги) = С 131 - Высшая алгебра
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С131
Алгебра и логика : Сб.науч.тр. / Институт математики им. С.Л. Соболева (Новосибирск) ; Гл. ред.: Юрий Леонидович Ершов. – Новосибирск : [Б.и.].
Книга
С131 А-456
Т.32,No.1 : . / Гл. ред.: Юрий Леонидович Ершов. – Новосибирск : [Б.и.], 1993. – 112 с. : ил.
С 131 + С 14
Индексный (книги) = С 131 - Высшая алгебра
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |
