МАТЕМАТИКА

О непротиворечивости теории типов с аксиомой выбора относительно теории типов

А. М. Якубович


УДК: 517.12

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 26.05.1981

Реферативные базы данных:

• 
•