Условие корректности и полноты классической логики для семантики относительной V-реализуемостистатья

Статья опубликована в журнале из перечня ВАК