RUS  ENG
Full version
JOURNALS // Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika // Archive
Izv. Vyssh. Uchebn. Zaved. Mat., 1966 Number 1, Pages 89–98 (Mi ivm2668)
On semantics of the theory of types

S. R. Kogalovskii

Saratov

UDC: 519.40

Received: 03.05.1965



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026