RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия высших учебных заведений. Математика // Архив
Изв. вузов. Матем., 1966, номер 1, страницы 89–98 (Mi ivm2668)
К семантике теории типов

С. Р. Когаловский

г. Саратов

УДК: 519.40

Поступила: 03.05.1965



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

© МИАН, 2024