Математическая логика: Алгебра высказываний. Булевы функции. Логика предикатов. Формализованное исчисление высказываний

Характеристики
ISBN 978-5-9519-4983-7
Автор Путилов С.В., Корпачева М.А., Сорокина М.М.
Издательство ЛЕНАНД
Переплет тв
Формат 60x90/16
Вес, гр 275
Год 2024
Стр. 176
ID 56ЛИБ