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