Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 26-87
Citer cet article
S. Yu. Maslov. The inverse method for establishing deducibility for logical calculi. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 26-87. http://geodesic.mathdoc.fr/item/TM_1968_98_a2/
@article{TM_1968_98_a2,
author = {S. Yu. Maslov},
title = {The inverse method for establishing deducibility for logical calculi},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {26--87},
year = {1968},
volume = {98},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1968_98_a2/}
}
TY - JOUR
AU - S. Yu. Maslov
TI - The inverse method for establishing deducibility for logical calculi
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1968
SP - 26
EP - 87
VL - 98
UR - http://geodesic.mathdoc.fr/item/TM_1968_98_a2/
LA - ru
ID - TM_1968_98_a2
ER -
%0 Journal Article
%A S. Yu. Maslov
%T The inverse method for establishing deducibility for logical calculi
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1968
%P 26-87
%V 98
%U http://geodesic.mathdoc.fr/item/TM_1968_98_a2/
%G ru
%F TM_1968_98_a2
