Գրեք սա: О локальной определимости типов функций алгебры логики /