13 514
правок
Изменения
→{{notexists}} :( Эквивалентные преобразования операторных алгоритмов
* '''Т.''' (о неполноте любой конечной системы тождеств).
==== {{notexists}} :( 404) Эквивалентные преобразования операторных алгоритмов ==== ''Специалисты, welcome — дополните секцию и уберите пометку (404) из заголовка!''
==== Пример Линдона ====
