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
Voir la notice de l'article provenant de la source Math-Net.Ru
@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},
publisher = {mathdoc},
volume = {152},
number = {3},
year = {1963},
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 PB - mathdoc 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 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1963_152_3_a12/ %G ru %F DAN_1963_152_3_a12
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/