Чёрч Алонзо
Введение в математическую логику. Том 1
Нообраслет. Открытие ресурсов подсознания