Автор: Маслов Сергей Юрьевич
Основное заглавие: Теория дедуктивных систем и ее применения
Физический носитель: Текст
Год публикации: 1986
Место издания: М.
Издательство: Радио и связь
Объем: 135с.
Cерия: Кибернетика
Ключевые слова: Исчислений теория; Математическая логика; Логика; Дедукция;
ББК: 22.122
Библиография: Библиогр.: с. 129-131
№ | Инвентарный номер |
Сигла | Статус | Дата возврата |
---|---|---|---|---|
1 | 2159381 | кх | Доступна | - |
При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера