Terms containing derivability

Subject	English	Russian
math.	formal derivability	формальная выводимость
math.	immediate derivability	непосредственная выводимость
math.	logical derivability	логическая выводимость
math.	regular derivability	регулярная выводимость