Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
--> С Естествознание
----> С 1 - Математика
------> С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Рубрика
- Название:
- С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Т.2. : Теория алгорифмов и конструктивная математика. Математическая логика.Информатика и смежные вопросы
2003 г.
ISBN 5-940571-13-1
Т.2. : Теория алгорифмов и конструктивная математика. Математическая логика.Информатика и смежные вопросы
2003 г.
ISBN 5-940571-13-1
Заказать 
На полку Доступно
1 из 1
Книга
Т.242. : Математическая логика и алгебра: Сборник статей: К 100-летию со дня рождения акад. П.С.Новикова
2003 г.
ISBN 5-02-032604-6
Т.242. : Математическая логика и алгебра: Сборник статей: К 100-летию со дня рождения акад. П.С.Новикова
2003 г.
ISBN 5-02-032604-6
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Новиков, П.С.
Т.44. : Об алгебраической неразрешимости проблемы тождества слов в теории групп
1955 г.
ISBN отсутствует
Новиков, П.С.
Т.44. : Об алгебраической неразрешимости проблемы тождества слов в теории групп
1955 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Т.51. : Сборник статей по математической логике и ее приложениям к вопросам кибернетики
1958 г.
ISBN отсутствует
Т.51. : Сборник статей по математической логике и ее приложениям к вопросам кибернетики
1958 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Т.52. : Проблемы конструктивного направления в математике.1: Сборник работ
1958 г.
ISBN отсутствует
Т.52. : Проблемы конструктивного направления в математике.1: Сборник работ
1958 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Т.72. : Проблемы конструктивного направления в математике.3: Сборник работ
1964 г.
ISBN отсутствует
Т.72. : Проблемы конструктивного направления в математике.3: Сборник работ
1964 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Многотомник
Теоретические применения математической логики: Сборник работ
Наука. Ленингр. отд-ние, б.г.
ISBN отсутствует
Теоретические применения математической логики: Сборник работ
Наука. Ленингр. отд-ние, б.г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Книга
Маслов, Сергей Юрьевич
Теория дедуктивных систем и ее применения
Радио и связь, 1986 г.
ISBN отсутствует
Маслов, Сергей Юрьевич
Теория дедуктивных систем и ее применения
Радио и связь, 1986 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Книга
Теория моделей и ее применения: Сборник научных трудов
ISBN отсутствует
Теория моделей и ее применения: Сборник научных трудов
Серия: Труды института математики
Наука. Сиб. отд-ние, 1988 г.ISBN отсутствует
Доступно
2 из 2
Доступно
1 из 1
Многотомник
Ершов, Ю.Л.
Теория нумераций: Спецкурс для студентов-матем. НГУ
[Б.и.], 1974 г.
ISBN отсутствует
Ершов, Ю.Л.
Теория нумераций: Спецкурс для студентов-матем. НГУ
[Б.и.], 1974 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1