|
Книга ID: 823237
Переборные задачи, сводимые к решенным матричной логикой / В. З. Стрыгин
Тематика, ключевые слова:
Математика -- Математическая логика -- Логические исчисления -- Исчисление предикатов.
Сведения об издании:
М. Изд. отд. ЦАГИ 2002-____ 21 см 21 см
Язык:
rus
|
|