Encyclopedia of Math Person

В. Н. Гришин

http://libmeta.ru/resource/mathenc/author/a810

Входящие связи

← author · 23

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