WikiDer > Sequent (значения)

Sequent (disambiguation)

А последовательный - формализованное утверждение доказуемости, используемое в секвенциальном исчислении.

Секвент может также относиться к: