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

Мат. assertoric calculus