Полное название | 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 |
С участием зарубежных ученых |