Электронный каталог СКУНБ им. Лермонтова

rus

Государственное бюджетное учреждение культуры Ставропольского края
«Ставропольская краевая универсальная научная библиотека им. М. Ю. Лермонтова»
Режим работы: 9.00–20.00
Контактная информация: (865-2) 29-61-57, 8(8652)24-32-47
Предварительный заказ литературы

Поиск :

Личный кабинет :

Электронный каталог: Книги в рубрике:

Рубрики
--> Математическая логика

Рубрика

Название:: Математическая логика

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

1 | 2 | вперед >>

Доступно
1 из 1

Книга
Мальцев, А. И.
Алгебраические системы

Серия: Современная алгебра

Наука, 1970 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Мулуд, Н.
Анализ и смысл: очерк семантических предпосылок логики и эпистемологии

Серия: Логика и методология науки

Прогресс, 1979 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Левин, В. И.
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
1 из 1

Книга
Попов, А. И.
Введение в математическую локику
Изд-во Ленингр. ун-та, 1959 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Раца, М. Ф.
Выразимость в исчислениях высказываний

Серия: АН МССР, Ин-т математики с ВЦ

Штиинца, 1991 г.
ISBN 5-376-00961-0

Заказать

На полку

Доступно
1 из 1

Книга
Манин, Ю. И.
Доказуемое и недоказуемое

Серия: Кибернетика

Советское радио, 1979 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
1 из 1

Книга
Столяр, А. А.
Как математика ум в порядок приводит
Вышэйш. шк., 1982 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Успенский, В. А.
Лекция о вычислимых функциях
Физматгиз, 1960 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Осипова, В. А.
Логика высказываний и логика предикатов в примерах и задачах
МАИ, 1978 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
1 из 1

Заказать

На полку

Доступно
1 из 1

Книга
Хилтон, А. М.
Логика и цепи переключения: пер. с англ.
Госэнергоиздат, 1962 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Целищев, В. В.
Логика существования
Наука, Сиб. отд-ние, 1976 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Сиротинская, Сусанна Валерьяновна
Логические методы анализа геологической информации
Недра, 1986 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Пуанкаре, А.
Математика и логика: пер. с фр.

Серия: Из наследия мировой философской мысли: философия науки

Изд-во ЛКИ, 2007 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Расёва, Е.
Математика математики: пер. с англ.

Серия: Математическая логика и основания математики

Наука, 1972 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Гладкий, А. В.
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Изд-во Рос. гос. гуманитар. ун-та, 1998 г.
ISBN 5-7281-0025-2

Заказать

На полку

Доступно
1 из 1

Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем: пер. с англ.

Серия: Математическая логика и основания математики

Наука, 1983 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Игошин, В. И.
Математическая логика и теория алгоритмов: учеб. пособие для вузов
Академия, 2008 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Харин, Н. Н.
Математическая логика и теория множеств. (О соотношении абстрактного и конкретного)
Росвузиздат, 1963 г.
ISBN отсутствует

Заказать

На полку

Статья
Воробьева, А. А.
Модели и численные методы органолептического контроля
б.г.
ISBN отсутствует

На полку

Статья
Воробьева, А. А.
Модели и численные методы совместного учета инструментальных и сенсорных показателей для оценки к...
б.г.
ISBN отсутствует

На полку

Доступно
1 из 1

Книга
Волгин, Леонид Иванович
НЕПРЕРЫВНАЯ ЛОГИКА.ТЕОРИЯ И ПРИМЕНЕНИЯ
Infinite-valued logic. Theory and applications
[б. и.], 1990 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Папуш, Павел Николаевич
Приложения математической логики и теории конечных автоматов в инженерных задачах: учеб. пособие
МАДИ, 1979 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга
Градштейн, И. С.
Прямая и обратная теоремы: элементы алгебры логики
Физматгиз, 1959 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Книга

Т. 2: Математическая логика и общая теория алгебраических систем
1976 г.
ISBN отсутствует

Заказать

На полку

Доступно
2 из 2

Книга
Успенский, В. А.
Теорема Геделя о неполноте

Серия: Популярные лекции по математике

Наука, 1982 г.
ISBN отсутствует

Заказать

На полку

Доступно
1 из 1

Заказать

На полку