А. С. Кузичев, “Поправки к статье "Арифметически непротиворечивые $\lambda$-теории бестиповой логики" (ДАН, т. 268, № 2, 1983 г.)”, Докл. АН СССР, 1983, том 272, номер 1,страница 10

ЖУРНАЛЫ // Доклады Академии наук // Архив

Докл. АН СССР, 1983, том 272, номер 1, страница 10 (Mi dan46267)

Поправки к статье "Арифметически непротиворечивые $\lambda$-теории бестиповой логики" (ДАН, т. 268, № 2, 1983 г.)

А. С. Кузичев

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