Matematičeskie zametki, Tome 39 (1986) no. 1, pp. 121-135
Citer cet article
V. N. Krivtsov. Embedding intuitionistic-type theory in negationless-type theory. Matematičeskie zametki, Tome 39 (1986) no. 1, pp. 121-135. http://geodesic.mathdoc.fr/item/MZM_1986_39_1_a11/
@article{MZM_1986_39_1_a11,
author = {V. N. Krivtsov},
title = {Embedding intuitionistic-type theory in negationless-type theory},
journal = {Matemati\v{c}eskie zametki},
pages = {121--135},
year = {1986},
volume = {39},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1986_39_1_a11/}
}
TY - JOUR
AU - V. N. Krivtsov
TI - Embedding intuitionistic-type theory in negationless-type theory
JO - Matematičeskie zametki
PY - 1986
SP - 121
EP - 135
VL - 39
IS - 1
UR - http://geodesic.mathdoc.fr/item/MZM_1986_39_1_a11/
LA - ru
ID - MZM_1986_39_1_a11
ER -
%0 Journal Article
%A V. N. Krivtsov
%T Embedding intuitionistic-type theory in negationless-type theory
%J Matematičeskie zametki
%D 1986
%P 121-135
%V 39
%N 1
%U http://geodesic.mathdoc.fr/item/MZM_1986_39_1_a11/
%G ru
%F MZM_1986_39_1_a11
