Неразрешимое суперинтуиционистское пропозициональное исчисление от трех переменныхстатья

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