Матэнциклопедия Персона

А. Г. Драгалин

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

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

← автор · 18

Аксиоматическая теория множеств Антиномия Бар-индукция Веер Вид Гёделя интерпретация Доказательств теория Интуиционизм Интуиционистская логика Конструктивное исчисление высказывании Нестандартный анализ Погружающая операция ещё 6