Geodesic
Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
Matematičeskie zametki, Tome 25 (1979) no. 6, pp. 919-931

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

@article{MZM_1979_25_6_a10,
     author = {D. P. Skvortsov},
     title = {Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication},
     journal = {Matemati\v{c}eskie zametki},
     pages = {919--931},
     publisher = {mathdoc},
     volume = {25},
     number = {6},
     year = {1979},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1979_25_6_a10/}
}
TY  - JOUR
AU  - D. P. Skvortsov
TI  - Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
JO  - Matematičeskie zametki
PY  - 1979
SP  - 919
EP  - 931
VL  - 25
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1979_25_6_a10/
LA  - ru
ID  - MZM_1979_25_6_a10
ER  - 
%0 Journal Article
%A D. P. Skvortsov
%T Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
%J Matematičeskie zametki
%D 1979
%P 919-931
%V 25
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1979_25_6_a10/
%G ru
%F MZM_1979_25_6_a10
D. P. Skvortsov. Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication. Matematičeskie zametki, Tome 25 (1979) no. 6, pp. 919-931. http://geodesic.mathdoc.fr/item/MZM_1979_25_6_a10/