Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 131-154
Citer cet article
V. P. Orevkov. On Glivenko sequent classes. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 131-154. http://geodesic.mathdoc.fr/item/TM_1968_98_a6/
@article{TM_1968_98_a6,
author = {V. P. Orevkov},
title = {On {Glivenko} sequent classes},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {131--154},
year = {1968},
volume = {98},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1968_98_a6/}
}
TY - JOUR
AU - V. P. Orevkov
TI - On Glivenko sequent classes
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1968
SP - 131
EP - 154
VL - 98
UR - http://geodesic.mathdoc.fr/item/TM_1968_98_a6/
LA - ru
ID - TM_1968_98_a6
ER -
%0 Journal Article
%A V. P. Orevkov
%T On Glivenko sequent classes
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1968
%P 131-154
%V 98
%U http://geodesic.mathdoc.fr/item/TM_1968_98_a6/
%G ru
%F TM_1968_98_a6
