Исчисление Ламбека с операциями следования и предшествованиядоклад на конференции