KEV
нет описания правки
04:54
+203
11:41
+60
Glk
Создана новая страница размером '''Система переписывания термов''' (''Term-rewriting system'') - конечное множество прави...
08:48
+3217
