> -- igor писал(а):
> ... пользовался именно формальными методами. То есть делал эквивалентные преобразования ...Кстати, да. Вещь.

Тоже люблю:
http://www.inr.ac.ru/~info21/texts/2005 ... ide13.html
http://www.inr.ac.ru/~info21/texts/2005 ... ide14.html