О конечной порожденности исчисления высказываний с произвольными операциями выводастатья

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