Замыкающий ординал оператора непосредственной выводимости в инфинитарной логике действийстатья

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