Doklady Akademii Nauk, Tome 152 (1963) no. 3, pp. 553-554
Citer cet article
G. E. Mints; V. P. Orevkov. A generalization of the theorems of V. I. Glivenko and G. Kreisel to a class of formulae of the predicate calculus. Doklady Akademii Nauk, Tome 152 (1963) no. 3, pp. 553-554. http://geodesic.mathdoc.fr/item/DAN_1963_152_3_a12/
@article{DAN_1963_152_3_a12,
author = {G. E. Mints and V. P. Orevkov},
title = {A generalization of the theorems of {V.} {I.~Glivenko} and {G.~Kreisel} to a class of formulae of the predicate calculus},
journal = {Doklady Akademii Nauk},
pages = {553--554},
year = {1963},
volume = {152},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1963_152_3_a12/}
}
TY - JOUR
AU - G. E. Mints
AU - V. P. Orevkov
TI - A generalization of the theorems of V. I. Glivenko and G. Kreisel to a class of formulae of the predicate calculus
JO - Doklady Akademii Nauk
PY - 1963
SP - 553
EP - 554
VL - 152
IS - 3
UR - http://geodesic.mathdoc.fr/item/DAN_1963_152_3_a12/
LA - ru
ID - DAN_1963_152_3_a12
ER -
%0 Journal Article
%A G. E. Mints
%A V. P. Orevkov
%T A generalization of the theorems of V. I. Glivenko and G. Kreisel to a class of formulae of the predicate calculus
%J Doklady Akademii Nauk
%D 1963
%P 553-554
%V 152
%N 3
%U http://geodesic.mathdoc.fr/item/DAN_1963_152_3_a12/
%G ru
%F DAN_1963_152_3_a12
