Фрагмент исчисления Ламбека с итерациейдоклад на конференции