assertoric calculus

Мат. ассерторическое исчисление