Matematičeskie zametki, Tome 25 (1979) no. 6, pp. 919-931
Citer cet article
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/
@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},
year = {1979},
volume = {25},
number = {6},
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
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
%U http://geodesic.mathdoc.fr/item/MZM_1979_25_6_a10/
%G ru
%F MZM_1979_25_6_a10
