Модели теории множеств в языке ?-вычислений

Открыть
Дата: 2009
Автор
Гамова, А. Н.
Выходные сведения
Гамова, А. Н. Модели теории множеств в языке ?-вычислений / А. Н. Гамова // Материалы двенадцатой региональной конференции по математике МАК-2009, Барнаул, июнь, 2009 : [тезисы докл.] / АлтГУ [и др.] ; [гл. ред. Н. М. Оскорбин и др.]. - Барнаул : Изд-во АлтГУ, 2009. - С. 6–8. - Библиогр. в конце ст.