Doklady Akademii Nauk, Tome 234 (1977) no. 4, pp. 750-753
Citer cet article
M. D. Krol'. Disjunctive and existential properties of intuitionistic analysis with Kripke's scheme. Doklady Akademii Nauk, Tome 234 (1977) no. 4, pp. 750-753. http://geodesic.mathdoc.fr/item/DAN_1977_234_4_a4/
@article{DAN_1977_234_4_a4,
author = {M. D. Krol'},
title = {Disjunctive and existential properties of intuitionistic analysis with {Kripke's} scheme},
journal = {Doklady Akademii Nauk},
pages = {750--753},
year = {1977},
volume = {234},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1977_234_4_a4/}
}
TY - JOUR
AU - M. D. Krol'
TI - Disjunctive and existential properties of intuitionistic analysis with Kripke's scheme
JO - Doklady Akademii Nauk
PY - 1977
SP - 750
EP - 753
VL - 234
IS - 4
UR - http://geodesic.mathdoc.fr/item/DAN_1977_234_4_a4/
LA - ru
ID - DAN_1977_234_4_a4
ER -
%0 Journal Article
%A M. D. Krol'
%T Disjunctive and existential properties of intuitionistic analysis with Kripke's scheme
%J Doklady Akademii Nauk
%D 1977
%P 750-753
%V 234
%N 4
%U http://geodesic.mathdoc.fr/item/DAN_1977_234_4_a4/
%G ru
%F DAN_1977_234_4_a4
