Logical description of computation processes