Полное название | Горбунов И.А. Теории классической пропозициональной логики и обращение подстановки // Известия высших учебных заведений. Математика. 2020. №1. С.26-29. |
Тип публикации | Статья |
Язык | Русский |
URL | https://elibrary.ru/item.asp?id=41749186 |
Дата публикации | 01.01.1900 |
РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
DOI | http://dx.doi.org/10.3103/S1066369X2001003X |
Есть перевод | Gorbunov I.A. Theories in Classical Propositional Logic and the Converse of Substitution // Russian Mathematics. 2020. V.64. Issue 1. P.22-24 |
Год издания перевода | 2020 |
DOI перевода | |
Идентификатор Scopus | 2-s2.0-85083249030 |
Идентификатор Web of Science | WOS:000524245200003 |
Квартиль | Q4 |
С участием зарубежных ученых |