Doklady Akademii Nauk, Tome 253 (1980) no. 1, pp. 48-52
Citer cet article
V. Kh. Khakhanyan. The consistency of intuitionistic set theory with formal mathematical analysis. Doklady Akademii Nauk, Tome 253 (1980) no. 1, pp. 48-52. http://geodesic.mathdoc.fr/item/DAN_1980_253_1_a10/
@article{DAN_1980_253_1_a10,
author = {V. Kh. Khakhanyan},
title = {The consistency of intuitionistic set theory with formal mathematical analysis},
journal = {Doklady Akademii Nauk},
pages = {48--52},
year = {1980},
volume = {253},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1980_253_1_a10/}
}
TY - JOUR
AU - V. Kh. Khakhanyan
TI - The consistency of intuitionistic set theory with formal mathematical analysis
JO - Doklady Akademii Nauk
PY - 1980
SP - 48
EP - 52
VL - 253
IS - 1
UR - http://geodesic.mathdoc.fr/item/DAN_1980_253_1_a10/
LA - ru
ID - DAN_1980_253_1_a10
ER -
%0 Journal Article
%A V. Kh. Khakhanyan
%T The consistency of intuitionistic set theory with formal mathematical analysis
%J Doklady Akademii Nauk
%D 1980
%P 48-52
%V 253
%N 1
%U http://geodesic.mathdoc.fr/item/DAN_1980_253_1_a10/
%G ru
%F DAN_1980_253_1_a10
