On the semantics of the theory of types

Sixteen Papers on Logic and Algebra - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/094/04 ◽

1970 ◽

pp. 93-103

Author(s):

S. R. Kogalovskiĭ

Download Full-text