Полное название Rybakov M., Shkatov D. Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter // Studia Logica. 2019. V.107. Issue 4. P.695-717.
Тип публикации Статья
Язык Английский
URL https://link.springer.com/article/10.1007%2Fs11225-018-9815-7
Дата публикации 01.01.1900
РИНЦ     RSCI     Перечень ВАК     Web of Science     Scopus    
DOI http://dx.doi.org/10.1007/s11225-018-9815-7
Идентификатор Scopus 2-s2.0-85050004892
Идентификатор Web of Science WOS:000475880700006
Квартиль Q2
С участием зарубежных ученых