Text this: Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности