Doklady Akademii Nauk, Tome 251 (1980) no. 3, pp. 562-565
Citer cet article
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/
@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},
year = {1980},
volume = {251},
number = {3},
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
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
%U http://geodesic.mathdoc.fr/item/DAN_1980_251_3_a11/
%G ru
%F DAN_1980_251_3_a11
