Geodesic
Correspondence of proof-intuitionistic logic extensions to proof-logic extensions
Matematičeskie trudy, Tome 12 (1989), pp. 104-120.

Voir la notice de l'article provenant de la source Math-Net.Ru

@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},
     publisher = {mathdoc},
     volume = {12},
     year = {1989},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_1989_12_a5/
%G ru
%F MT_1989_12_a5
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/