Логика и математика: просто о сложных методах логического анализа ...