| Полное название | Горбунов И.А. Эффективный критерий дедуктивности множеств формул логики // Вестник Тверского государственного университета. Серия: Прикладная математика. 2017. №1. С.95-103. |
| Тип публикации | Статья |
| Язык | Русский |
| URL | http://elibrary.ru/item.asp?id=28786650 |
| Дата публикации | 01.01.1900 |
| РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
| С участием зарубежных ученых |
