Doklady Akademii Nauk, Tome 314 (1990) no. 1, pp. 32-36
Citer cet article
F. L. Varpakhovskii. On the axiomatization of realizable propositional formulas. Doklady Akademii Nauk, Tome 314 (1990) no. 1, pp. 32-36. http://geodesic.mathdoc.fr/item/DAN_1990_314_1_a6/
@article{DAN_1990_314_1_a6,
author = {F. L. Varpakhovskii},
title = {On the axiomatization of realizable propositional formulas},
journal = {Doklady Akademii Nauk},
pages = {32--36},
year = {1990},
volume = {314},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1990_314_1_a6/}
}
TY - JOUR
AU - F. L. Varpakhovskii
TI - On the axiomatization of realizable propositional formulas
JO - Doklady Akademii Nauk
PY - 1990
SP - 32
EP - 36
VL - 314
IS - 1
UR - http://geodesic.mathdoc.fr/item/DAN_1990_314_1_a6/
LA - ru
ID - DAN_1990_314_1_a6
ER -
%0 Journal Article
%A F. L. Varpakhovskii
%T On the axiomatization of realizable propositional formulas
%J Doklady Akademii Nauk
%D 1990
%P 32-36
%V 314
%N 1
%U http://geodesic.mathdoc.fr/item/DAN_1990_314_1_a6/
%G ru
%F DAN_1990_314_1_a6
