Doklady Akademii Nauk, Tome 147 (1962) no. 4, pp. 783-786
Citer cet article
G. E. Mints. An analogue of Herbrand's theorem for the constructive predicate calculus. Doklady Akademii Nauk, Tome 147 (1962) no. 4, pp. 783-786. http://geodesic.mathdoc.fr/item/DAN_1962_147_4_a9/
@article{DAN_1962_147_4_a9,
author = {G. E. Mints},
title = {An analogue of {Herbrand's} theorem for the constructive predicate calculus},
journal = {Doklady Akademii Nauk},
pages = {783--786},
year = {1962},
volume = {147},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1962_147_4_a9/}
}
TY - JOUR
AU - G. E. Mints
TI - An analogue of Herbrand's theorem for the constructive predicate calculus
JO - Doklady Akademii Nauk
PY - 1962
SP - 783
EP - 786
VL - 147
IS - 4
UR - http://geodesic.mathdoc.fr/item/DAN_1962_147_4_a9/
LA - ru
ID - DAN_1962_147_4_a9
ER -
%0 Journal Article
%A G. E. Mints
%T An analogue of Herbrand's theorem for the constructive predicate calculus
%J Doklady Akademii Nauk
%D 1962
%P 783-786
%V 147
%N 4
%U http://geodesic.mathdoc.fr/item/DAN_1962_147_4_a9/
%G ru
%F DAN_1962_147_4_a9
