Пропозициональные исчисления как средство задания логических процессовстатья

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