Doklady Akademii Nauk, Tome 171 (1966) no. 6, pp. 1282-1285
Citer cet article
S. Yu. Maslov. Application of the inverse method for establishing deducibility to the theory of decidable fragments in the classical predicate calculus. Doklady Akademii Nauk, Tome 171 (1966) no. 6, pp. 1282-1285. http://geodesic.mathdoc.fr/item/DAN_1966_171_6_a10/
@article{DAN_1966_171_6_a10,
author = {S. Yu. Maslov},
title = {Application of the inverse method for establishing deducibility to the theory of decidable fragments in the classical predicate calculus},
journal = {Doklady Akademii Nauk},
pages = {1282--1285},
year = {1966},
volume = {171},
number = {6},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1966_171_6_a10/}
}
TY - JOUR
AU - S. Yu. Maslov
TI - Application of the inverse method for establishing deducibility to the theory of decidable fragments in the classical predicate calculus
JO - Doklady Akademii Nauk
PY - 1966
SP - 1282
EP - 1285
VL - 171
IS - 6
UR - http://geodesic.mathdoc.fr/item/DAN_1966_171_6_a10/
LA - ru
ID - DAN_1966_171_6_a10
ER -
%0 Journal Article
%A S. Yu. Maslov
%T Application of the inverse method for establishing deducibility to the theory of decidable fragments in the classical predicate calculus
%J Doklady Akademii Nauk
%D 1966
%P 1282-1285
%V 171
%N 6
%U http://geodesic.mathdoc.fr/item/DAN_1966_171_6_a10/
%G ru
%F DAN_1966_171_6_a10
