Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letterстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 20 января 2021 г.