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

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