Чагрова, Лидия Алексеевна. - О проблеме определимости пропозициональных формул интуиционистской логики формулами классической логики первого порядка : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / АН Молдав. ССР. Ин-т математики с ВЦ. - Кишинев, 1989. - 14 с.
Карточка
Экспресс-заказ фрагмента
Чагрова, Лидия Алексеевна.
О проблеме определимости пропозициональных формул интуиционистской логики формулами классической логики первого порядка : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / АН Молдав. ССР. Ин-т математики с ВЦ. - Кишинев, 1989. - 14 с.
Математическая логика, алгебра и теория чисел
Шифр хранения:
О проблеме определимости пропозициональных формул интуиционистской логики формулами классической логики первого порядка : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / АН Молдав. ССР. Ин-т математики с ВЦ. - Кишинев, 1989. - 14 с.
Математическая логика, алгебра и теория чисел
Шифр хранения:
FB 9 89-7/3566-0
FB 9 89-7/3567-9
Описание
| Автор | Чагрова, Лидия Алексеевна |
|---|---|
| Заглавие | О проблеме определимости пропозициональных формул интуиционистской логики формулами классической логики первого порядка : автореферат дис. ... кандидата физико-математических наук : 01.01.06 |
| Коллекции ЭК РГБ | Каталог авторефератов диссертаций |
| Коллекции ЭБ РГБ | Авторефераты |
| Дата поступления в ЭК РГБ | 19.12.1989 |
| Дата поступления в ЭБ РГБ | 24.01.2022 |
| Каталоги | Авторефераты диссертаций |
| Сведения об ответственности | АН Молдав. ССР. Ин-т математики с ВЦ |
| Выходные данные | Кишинев, 1989 |
| Физическое описание | 14 с. |
| Тема | Математическая логика, алгебра и теория чисел |
| BBK-код | В12,03 |
| Специальность | 01.01.06: Математическая логика, алгебра и теория чисел |
| Язык | Русский |
| Места хранения | FB 9 89-7/3566-0 |
| FB 9 89-7/3567-9 | |
| Электронный адрес | Электронный ресурс |
