| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Известия высших учебных заведений. Математика // Архив |
|
1993, номер 3
|
|
Теоремы о полноте и устранении сечения в классической логике высокого порядка. Конструктивные методы А. Г. Драгалин |
3 | |
|
|
Унитреугольные группы и неразрешимость О. В. Белеградек |
19 | |
|
|
Эквациональная теория алгебр отношений с позитивными операциями Д. А. Бредихин |
23 | |
|
|
Соотношение Н. К. Верещагин |
31 | |
|
|
Тождества и квазитождества в решетках псевдомногообразий Б. М. Верников |
40 | |
|
|
Об элементарной эквивалентности для фрагментов языка С. С. Магазов |
51 | |
|
|
Непрерывные сходимости отображений В. А. Молчанов |
59 | |
|
|
Принцип Вопенки и скелеты многообразий А. Г. Пинус |
68 | |
|
|
К суммированию Эйлером ряда знакочередующихся факториалов Б. Г. Уразбекова |
72 | |
|
|
Интуиционистское доказательство совместимости тезиса Черча с теорией множеств В. Х. Хаханян |
78 | |