Каталог электронных изданий сетевого распространения

Описание электронного издания сетевого распространения

Вывод в логике предикатов

Основные сведения
Левкин И. В. (Игорь Васильевич)
Вывод в логике предикатов
(материалы спец. курса) : учебное пособие
Текстовое (символьное) электронное издание
г. Барнаул
Издатель ФГБОУ ВО "Алтайский государственный технический университет им. И. И. Ползунова"
2026
https://portal.altstu.ru/elib/download?id=120120
свободный
Дата обращения 09.11.2026
0522600697

Производитель электронного издания
ФГБОУ ВО "Алтайский государственный технический университет им. И. И. Ползунова"
656038; Алтайский край, г. Барнаул, пр-т Ленина, д. 46