Вернуться к Подробностям о статье
S5 is a paraconsistent logic and so is first-order classical logic.
Скачать
Скачать PDF