Doklady Akademii Nauk, Tome 169 (1966) no. 2, pp. 273-275
Citer cet article
G. E. Mints. Herbrand's theorem for calculus of predicates with equality and functional symbols. Doklady Akademii Nauk, Tome 169 (1966) no. 2, pp. 273-275. http://geodesic.mathdoc.fr/item/DAN_1966_169_2_a5/
@article{DAN_1966_169_2_a5,
author = {G. E. Mints},
title = {Herbrand's theorem for calculus of predicates with equality and functional symbols},
journal = {Doklady Akademii Nauk},
pages = {273--275},
year = {1966},
volume = {169},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1966_169_2_a5/}
}
TY - JOUR
AU - G. E. Mints
TI - Herbrand's theorem for calculus of predicates with equality and functional symbols
JO - Doklady Akademii Nauk
PY - 1966
SP - 273
EP - 275
VL - 169
IS - 2
UR - http://geodesic.mathdoc.fr/item/DAN_1966_169_2_a5/
LA - ru
ID - DAN_1966_169_2_a5
ER -
%0 Journal Article
%A G. E. Mints
%T Herbrand's theorem for calculus of predicates with equality and functional symbols
%J Doklady Akademii Nauk
%D 1966
%P 273-275
%V 169
%N 2
%U http://geodesic.mathdoc.fr/item/DAN_1966_169_2_a5/
%G ru
%F DAN_1966_169_2_a5
