В. Н. Гришин

Булевозначная модель Выбора аксиома Вынуждения метод Конструктивное по гёделю множество Континуум-гипотеза Неформальный аксиоматический метод Объемности аксиома Омега-непротиворечивость Омега-полнота Поглощения законы Правильная интерпретация Предваренная формула ещё 11