TY  - JOUR
AU  - G. F. Schwartz
TI  - Open existence properties for some extensions of the intuitionistic type theory
JO  - Doklady Akademii Nauk
PY  - 1980
SP  - 562
EP  - 565
VL  - 251
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1980_251_3_a11/
LA  - ru
ID  - DAN_1980_251_3_a11
ER  -