logic of existence

Мат. экзистенциональная логика