Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 121-130
Citer cet article
G. E. Mints. Solvability of the problem of deducibility in LJ for a class of formulas which do not contain negative occurrences of quantors. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 121-130. http://geodesic.mathdoc.fr/item/TM_1968_98_a5/
@article{TM_1968_98_a5,
author = {G. E. Mints},
title = {Solvability of the problem of deducibility in {LJ} for a class of formulas which do not contain negative occurrences of quantors},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {121--130},
year = {1968},
volume = {98},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1968_98_a5/}
}
TY - JOUR
AU - G. E. Mints
TI - Solvability of the problem of deducibility in LJ for a class of formulas which do not contain negative occurrences of quantors
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1968
SP - 121
EP - 130
VL - 98
UR - http://geodesic.mathdoc.fr/item/TM_1968_98_a5/
LA - ru
ID - TM_1968_98_a5
ER -
%0 Journal Article
%A G. E. Mints
%T Solvability of the problem of deducibility in LJ for a class of formulas which do not contain negative occurrences of quantors
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1968
%P 121-130
%V 98
%U http://geodesic.mathdoc.fr/item/TM_1968_98_a5/
%G ru
%F TM_1968_98_a5
