Text this: Metodologičeskije problemy intuicionnoj matematiki