Doklady Akademii Nauk, Tome 169 (1966) no. 1, pp. 24-27
Citer cet article
G. E. Mints. The method of Skolem for the elimination of positive quantifiers in sequential calculi. Doklady Akademii Nauk, Tome 169 (1966) no. 1, pp. 24-27. http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a4/
@article{DAN_1966_169_1_a4,
author = {G. E. Mints},
title = {The method of {Skolem} for the elimination of positive quantifiers in sequential calculi},
journal = {Doklady Akademii Nauk},
pages = {24--27},
year = {1966},
volume = {169},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a4/}
}
TY - JOUR
AU - G. E. Mints
TI - The method of Skolem for the elimination of positive quantifiers in sequential calculi
JO - Doklady Akademii Nauk
PY - 1966
SP - 24
EP - 27
VL - 169
IS - 1
UR - http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a4/
LA - ru
ID - DAN_1966_169_1_a4
ER -
%0 Journal Article
%A G. E. Mints
%T The method of Skolem for the elimination of positive quantifiers in sequential calculi
%J Doklady Akademii Nauk
%D 1966
%P 24-27
%V 169
%N 1
%U http://geodesic.mathdoc.fr/item/DAN_1966_169_1_a4/
%G ru
%F DAN_1966_169_1_a4
