Ключевая фраза: ПРИЛОЖЕНИЯ ТЕОРИИ МНОЖЕСТВ К ОБОСНОВАНИЮ НЕПРОТИВОРЕЧИВОСТИ ЛЯМБДА-ИСЧИСЛЕНИЯ
Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «ПРИЛОЖЕНИЯ ТЕОРИИ МНОЖЕСТВ К ОБОСНОВАНИЮ НЕПРОТИВОРЕЧИВОСТИ ЛЯМБДА-ИСЧИСЛЕНИЯ».
