Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 123-133
Citer cet article
G. E. Mints. Analog of the Herbrand's theorem for the intuitionistic predicate calculus. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 123-133. http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a12/
@article{ZNSL_1967_4_a12,
author = {G. E. Mints},
title = {Analog of the {Herbrand's} theorem for the intuitionistic predicate calculus},
journal = {Zapiski Nauchnykh Seminarov POMI},
pages = {123--133},
year = {1967},
volume = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a12/}
}
TY - JOUR
AU - G. E. Mints
TI - Analog of the Herbrand's theorem for the intuitionistic predicate calculus
JO - Zapiski Nauchnykh Seminarov POMI
PY - 1967
SP - 123
EP - 133
VL - 4
UR - http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a12/
LA - ru
ID - ZNSL_1967_4_a12
ER -
%0 Journal Article
%A G. E. Mints
%T Analog of the Herbrand's theorem for the intuitionistic predicate calculus
%J Zapiski Nauchnykh Seminarov POMI
%D 1967
%P 123-133
%V 4
%U http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a12/
%G ru
%F ZNSL_1967_4_a12
