деривативная логика

Мат. derivative logic