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