Geodesic
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.

Voir la notice de l'article provenant de la source Math-Net.Ru

@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},
     publisher = {mathdoc},
     volume = {171},
     number = {6},
     year = {1966},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1966_171_6_a10/
%G ru
%F DAN_1966_171_6_a10
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/