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