Geodesic
Open existence properties for some extensions of the intuitionistic type theory
Doklady Akademii Nauk, Tome 251 (1980) no. 3, pp. 562-565.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{DAN_1980_251_3_a11,
     author = {G. F. Schwartz},
     title = {Open existence properties for some extensions of the intuitionistic type theory},
     journal = {Doklady Akademii Nauk},
     pages = {562--565},
     publisher = {mathdoc},
     volume = {251},
     number = {3},
     year = {1980},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DAN_1980_251_3_a11/}
}
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  - 
%0 Journal Article
%A G. F. Schwartz
%T Open existence properties for some extensions of the intuitionistic type theory
%J Doklady Akademii Nauk
%D 1980
%P 562-565
%V 251
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1980_251_3_a11/
%G ru
%F DAN_1980_251_3_a11
G. F. Schwartz. Open existence properties for some extensions of the intuitionistic type theory. Doklady Akademii Nauk, Tome 251 (1980) no. 3, pp. 562-565. http://geodesic.mathdoc.fr/item/DAN_1980_251_3_a11/