Полное описание
>
Шрайнер, П. А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П.А.Шрайнер. - Новосибирск : [б. и.], 1998. - 21 с. - (Препринт / НИИ математико-информационных основ обучения(Новосибирск) ; 36)). - 100 экз. - Б. ц. - Текст : непосредственный.
ГРНТИ | УДК | |
27.03.19 | 510(04) | |
03.91 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): математическая логика>
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Заказ фрагмента документа ₽