Hyperarithmetical complexity of infinitary action logic with multiplexingстатья

Статья опубликована в высокорейтинговом журнале
Статья опубликована в журнале из списка Web of Science и/или Scopus