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