Голдблатт Р.Я.
Топосы. Категорный анализ логики
Ноокулон. Управление реальностью.