Автор: Долгоруков В.В.
Теги: математика математическая логика
Год: 2008
Логика высказываний и теория вывода
Методы вычислений
Система и методы изучения табличного умножения и деления