Вернуться к Подробностям о статье
Секвенциальная аксиоматизация и семантика I-логик васильевского типа
Скачать
Скачать PDF