Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part 2, Tome 121 (1972), pp. 67-99
Citer cet article
G. E. Mints. The Skolem method in intuitionistic calculi. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part 2, Tome 121 (1972), pp. 67-99. http://geodesic.mathdoc.fr/item/TM_1972_121_a4/
@article{TM_1972_121_a4,
author = {G. E. Mints},
title = {The {Skolem} method in intuitionistic calculi},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {67--99},
year = {1972},
volume = {121},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1972_121_a4/}
}
TY - JOUR
AU - G. E. Mints
TI - The Skolem method in intuitionistic calculi
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1972
SP - 67
EP - 99
VL - 121
UR - http://geodesic.mathdoc.fr/item/TM_1972_121_a4/
LA - ru
ID - TM_1972_121_a4
ER -
%0 Journal Article
%A G. E. Mints
%T The Skolem method in intuitionistic calculi
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1972
%P 67-99
%V 121
%U http://geodesic.mathdoc.fr/item/TM_1972_121_a4/
%G ru
%F TM_1972_121_a4
