On Analogues of Herbrand’s and Harrop’s Theorems for the Joint Logic of Problems and Propositions QHCстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 10 апреля 2024 г.