Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 155-202
Citer cet article
R. A. Plyushkevitchus. A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 155-202. http://geodesic.mathdoc.fr/item/TM_1968_98_a7/
@article{TM_1968_98_a7,
author = {R. A. Plyushkevitchus},
title = {A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {155--202},
year = {1968},
volume = {98},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1968_98_a7/}
}
TY - JOUR
AU - R. A. Plyushkevitchus
TI - A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1968
SP - 155
EP - 202
VL - 98
UR - http://geodesic.mathdoc.fr/item/TM_1968_98_a7/
LA - ru
ID - TM_1968_98_a7
ER -
%0 Journal Article
%A R. A. Plyushkevitchus
%T A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1968
%P 155-202
%V 98
%U http://geodesic.mathdoc.fr/item/TM_1968_98_a7/
%G ru
%F TM_1968_98_a7
