Matematičeskie trudy, Tome 12 (1989), pp. 104-120
Citer cet article
A. U. Muravitskii. Correspondence of proof-intuitionistic logic extensions to proof-logic extensions. Matematičeskie trudy, Tome 12 (1989), pp. 104-120. http://geodesic.mathdoc.fr/item/MT_1989_12_a5/
@article{MT_1989_12_a5,
author = {A. U. Muravitskii},
title = {Correspondence of proof-intuitionistic logic extensions to proof-logic extensions},
journal = {Matemati\v{c}eskie trudy},
pages = {104--120},
year = {1989},
volume = {12},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MT_1989_12_a5/}
}
TY - JOUR
AU - A. U. Muravitskii
TI - Correspondence of proof-intuitionistic logic extensions to proof-logic extensions
JO - Matematičeskie trudy
PY - 1989
SP - 104
EP - 120
VL - 12
UR - http://geodesic.mathdoc.fr/item/MT_1989_12_a5/
LA - ru
ID - MT_1989_12_a5
ER -
%0 Journal Article
%A A. U. Muravitskii
%T Correspondence of proof-intuitionistic logic extensions to proof-logic extensions
%J Matematičeskie trudy
%D 1989
%P 104-120
%V 12
%U http://geodesic.mathdoc.fr/item/MT_1989_12_a5/
%G ru
%F MT_1989_12_a5
