Булос Дж.С.
Вычислимость и логика
Нообраслет. Открытие ресурсов подсознания