The predicate version of the joint logic of problems and propositionsстатья

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