Об отношении совместимости в исчислении Ламбека и в его варианте с операциями замещениядиссертация