Беркли Э.К.
Символическая логика и разумные машины
Тренажер для мозга (2 занятия в день по 15 минут)