Doklady Akademii Nauk, Tome 240 (1978) no. 3, pp. 549-552
Citer cet article
V. B. Shehtman. An undecidable superintuitionistic propositional calculus. Doklady Akademii Nauk, Tome 240 (1978) no. 3, pp. 549-552. http://geodesic.mathdoc.fr/item/DAN_1978_240_3_a12/
@article{DAN_1978_240_3_a12,
author = {V. B. Shehtman},
title = {An undecidable superintuitionistic propositional calculus},
journal = {Doklady Akademii Nauk},
pages = {549--552},
year = {1978},
volume = {240},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1978_240_3_a12/}
}
TY - JOUR
AU - V. B. Shehtman
TI - An undecidable superintuitionistic propositional calculus
JO - Doklady Akademii Nauk
PY - 1978
SP - 549
EP - 552
VL - 240
IS - 3
UR - http://geodesic.mathdoc.fr/item/DAN_1978_240_3_a12/
LA - ru
ID - DAN_1978_240_3_a12
ER -
%0 Journal Article
%A V. B. Shehtman
%T An undecidable superintuitionistic propositional calculus
%J Doklady Akademii Nauk
%D 1978
%P 549-552
%V 240
%N 3
%U http://geodesic.mathdoc.fr/item/DAN_1978_240_3_a12/
%G ru
%F DAN_1978_240_3_a12
