Математический интуиционизм. Введение в теорию доказательств

Нообраслет. Открытие ресурсов подсознания