Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог НТГСПИ - результаты поиска

Вид поиска
Электронный каталог НТГСПИ
Картотека газет и журналов
Картотека статей
Полнотекстовая база изданий НТГСПИ
Полнотекстовая база ВКР
Область поиска
в найденном
 Найдено в других БД:Картотека статей (15)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 15
Показаны документы с 1 по 10
 1-10    11-15 
1.

Воднев В. Т. Основные математические формулы/В. Т. Воднев, А. Ф. Наумович, Н. Ф. Наумович ; под ред. Ю. С. Богданова. - 1988
2.

Гильберт Д. Основания математики/Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. [и с предисл.] С. И. Адяна. - 1979
3.

Екимова М. А. Задачи на разрезание/М. А. Екимова, Г. П. Кукин. - 2005
4.

Иванов Б. Н. Дискретная математика. Алгоритмы и программы. Расширенный курс/Б. Н. Иванов. - 2011
5.

Карри Х. Б. Основания математической логики/Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - 1969
6.

Ковалева Л. Ф. Математическая логика/Л. Ф. Ковалева, Э. Л. Балюкевич. - 2003
7.

Конышева Л. К. Дискретная математика/Л. К. Конышева. - 2010
8.

Лихтарников Л. М. Математическая логика/Л. М. Лихтарников, Т. Г. Сукачева. - 2009
9.

Лобовиков В. О. Математическая логика естественного права и политической экономии/В. О. Лобовиков ; [науч. ред. Н. В. Бряник]. - 2005
10.

Мадер В. В. Школьнику об алгебре логики/В. В. Мадер. - 1993
 1-10    11-15 
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)