Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматикахстатья

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