| Полное название | Рыбаков М.Н., Шкатов Д.П. Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал // Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. М.: Современные тетради, 2019. С.43–45. |
| Тип публикации | Статья в трудах конференции |
| Дата публикации | 01.01.1900 |
| Язык | Русский |
| URL | https://elibrary.ru/item.asp?id=38522359 |
| ISBN | 978-5-88289-456-5 |
|
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00